Theorem mul_isRightRegular_iff

Modification history