Theorem mul_isLeftRegular_iff

Modification history