integral-domain public under commutative-ring 4 List Picture As a command Nothing is filed under integral-domain.