Theorem ContinuousMulEquiv.equivLike_inv_eq_symm

Modification history