Def AlgEquiv.funUnique

Modification history