Theorem ContinuousMulEquiv.eq_symm_comp

Modification history