Def MulEquiv.arrowCongr

Modification history