Def AlgEquiv.arrowCongr

Modification history