Theorem AlgEquiv.arrowCongr_refl

Modification history