Theorem AlgEquiv.commutes

Modification history