Theorem isCancelMul_iff_forall_isRegular

Modification history