Theorem IsRegular.and_of_mul_of_mul

Modification history