Theorem isDomain_iff_cancelMulZero_and_nontrivial

Modification history