Integral -package:clash-prelude -package:language-c package:algebra

An integral domain is a commutative domain in which 1≠0.