Theorem isCancelMulZero_iff_isDomain_or_subsingleton

Modification history