Theorem AlgEquiv.symm_comp

Modification history