Theorem ContinuousMulEquiv.symm_comp_eq

Modification history