Theorem AlgEquiv.prodCongr_apply

Modification history