Theorem ContinuousMulEquiv.symm_apply_eq

Modification history