Theorem isCancelMulZero_iff_forall_isRegular

Modification history