Theorem AlgEquiv.equivCongr_trans

Modification history