Integral -is:exact -package:classy-prelude -package:lens-aeson package:algebra

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