Theorem MulEquiv.apply_eq_iff_symm_apply

Modification history