Require Export Integral_domain_cat. Require Export Ring_facts. Require Export Classical_Prop. (** Title "Basic properties of integral domains." *) Section Lemmas. Variable R : INTEGRAL_DOMAIN. Equal x ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results