Theorem isRegular_mul_iff

Modification history