Theorem AlgEquiv.equivCongr_refl

Modification history