Theorem AlgEquiv.invFun_eq_symm

Modification history