Theorem MulEquiv.comp_right_injective

Modification history