Theorem MulEquiv.comp_left_injective

Modification history