Theorem MulEquiv.symm_comp_self

Modification history