Def AlgEquiv.autCongr

Modification history