Theorem isRegular_of_cancelMonoid

Modification history