Theorem AlgEquiv.equivCongr_symm

Modification history