Theorem ContinuousMulEquiv.invFun_eq_symm

Modification history