NF-O-K-UFD-iff-PID_back.svg Edited: Sun 02 Jun 2024

NF-O-K-UFD-iff-PID_front.svg Edited: Sun 02 Jun 2024

NF-Qi-plus-Qj-equals-OL-prop_back.svg Edited: Tue 20 Feb 2024

NF-Qi-plus-Qj-equals-OL-prop_front.svg Edited: Tue 20 Feb 2024

NF-Sigma-det-lemma_back.svg Edited: Tue 30 Jan 2024

NF-Sigma-det-lemma_front.svg Edited: Tue 30 Jan 2024

NF-Sigma-vector-defn_back.svg Edited: Tue 30 Jan 2024

NF-Sigma-vector-defn_front.svg Edited: Tue 30 Jan 2024

NF-algebraic-integer-defn_back.svg Edited: Tue 23 Jan 2024

NF-algebraic-integer-defn_front.svg Edited: Tue 23 Jan 2024

NF-algint-ring-proof_back.svg Edited: Tue 23 Jan 2024

NF-algint-ring-proof_front.svg Edited: Tue 23 Jan 2024

NF-algint-tfae_back.svg Edited: Tue 23 Jan 2024

NF-algint-tfae_front.svg Edited: Tue 23 Jan 2024

NF-class-group-defn_back.svg Edited: Thu 22 Feb 2024

NF-class-group-defn_front.svg Edited: Thu 22 Feb 2024

NF-class-number-defn_back.svg Edited: Thu 22 Feb 2024

NF-class-number-defn_front.svg Edited: Thu 22 Feb 2024

NF-coVol-notation_back.svg Edited: Tue 30 Jan 2024

NF-coVol-notation_front.svg Edited: Tue 30 Jan 2024

NF-cyclotomic-field-roots-of-unity-lemma_back.svg Edited: Tue 05 Mar 2024

NF-cyclotomic-field-roots-of-unity-lemma_front.svg Edited: Tue 05 Mar 2024

NF-dedekind-pf-1_back.svg Edited: Thu 15 Feb 2024

NF-dedekind-pf-1_front.svg Edited: Thu 15 Feb 2024

NF-dedekind-pf-2_back.svg Edited: Tue 20 Feb 2024

NF-dedekind-pf-2_front.svg Edited: Tue 20 Feb 2024

NF-dedekind-thm-factorisation_back.svg Edited: Thu 15 Feb 2024

NF-dedekind-thm-factorisation_front.svg Edited: Thu 15 Feb 2024

NF-dirichlet-unit-thm_back.svg Edited: Tue 05 Mar 2024

NF-dirichlet-unit-thm_front.svg Edited: Tue 05 Mar 2024

NF-disc-is-det-tr-lemma_back.svg Edited: Tue 30 Jan 2024

NF-disc-is-det-tr-lemma_front.svg Edited: Tue 30 Jan 2024

NF-disc-of-module-defn_back.svg Edited: Tue 30 Jan 2024

NF-disc-of-module-defn_front.svg Edited: Tue 30 Jan 2024

NF-disc-of-nf_back.svg Edited: Thu 01 Feb 2024

NF-disc-of-nf_front.svg Edited: Thu 01 Feb 2024

NF-disc-of-tuple-defn_back.svg Edited: Tue 30 Jan 2024

NF-disc-of-tuple-defn_front.svg Edited: Tue 30 Jan 2024

NF-disc-volume-le-prop_back.svg Edited: Tue 30 Jan 2024

NF-disc-volume-le-prop_front.svg Edited: Tue 30 Jan 2024

NF-disc-zero-iff-lindep_back.svg Edited: Thu 25 Jan 2024

NF-disc-zero-iff-lindep_front.svg Edited: Thu 25 Jan 2024

NF-fideal-iff-aI-is-ideal-lemma_back.svg Edited: Tue 06 Feb 2024

NF-fideal-iff-aI-is-ideal-lemma_front.svg Edited: Tue 06 Feb 2024

NF-finitely-generated-alpha-in-OK_back.svg Edited: Tue 06 Feb 2024

NF-finitely-generated-alpha-in-OK_front.svg Edited: Tue 06 Feb 2024

NF-finitely-many-ideals-bounded-norm-lemma_back.svg Edited: Thu 22 Feb 2024

NF-finitely-many-ideals-bounded-norm-lemma_front.svg Edited: Thu 22 Feb 2024

NF-flt-subprop_back.svg Edited: Tue 12 Mar 2024

NF-flt-subprop_front.svg Edited: Tue 12 Mar 2024

NF-fractional-ideal-defn_back.svg Edited: Tue 06 Feb 2024

NF-fractional-ideal-defn_front.svg Edited: Tue 06 Feb 2024

NF-fractional-ideals-group_back.svg Edited: Thu 08 Feb 2024

NF-fractional-ideals-group_front.svg Edited: Thu 08 Feb 2024

NF-fundamental-domain-defn_back.svg Edited: Tue 30 Jan 2024

NF-fundamental-domain-defn_front.svg Edited: Tue 30 Jan 2024

NF-gcd-lcm-defn_back.svg Edited: Sun 02 Jun 2024

NF-gcd-lcm-defn_front.svg Edited: Sun 02 Jun 2024

NF-ideal-association-division-equivalence-lemma_back.svg Edited: Tue 13 Feb 2024

NF-ideal-association-division-equivalence-lemma_front.svg Edited: Tue 13 Feb 2024

NF-ideal-lifting-norm-lemma_back.svg Edited: Thu 15 Feb 2024

NF-ideal-lifting-norm-lemma_front.svg Edited: Thu 15 Feb 2024

NF-ideal-norm-equals-field-norm-lemma_back.svg Edited: Tue 13 Feb 2024

NF-ideal-norm-equals-field-norm-lemma_front.svg Edited: Tue 13 Feb 2024

NF-ideal-product-defn_back.svg Edited: Sun 02 Jun 2024

NF-ideal-product-defn_front.svg Edited: Sun 02 Jun 2024

NF-ideal-subset-iff-factor-coro_back.svg Edited: Thu 08 Feb 2024

NF-ideal-subset-iff-factor-coro_front.svg Edited: Thu 08 Feb 2024

NF-ideals-of-OK-are-noetherian_back.svg Edited: Sun 02 Jun 2024

NF-ideals-of-OK-are-noetherian_front.svg Edited: Sun 02 Jun 2024

NF-inertial-degree-defn_back.svg Edited: Thu 15 Feb 2024

NF-inertial-degree-defn_front.svg Edited: Thu 15 Feb 2024

NF-intbasis-iff-tdisc-minimal-thm_back.svg Edited: Thu 01 Feb 2024

NF-intbasis-iff-tdisc-minimal-thm_front.svg Edited: Thu 01 Feb 2024

NF-integral-basis-defn_back.svg Edited: Tue 23 Jan 2024

NF-integral-basis-defn_front.svg Edited: Tue 23 Jan 2024

NF-intring-notation_back.svg Edited: Sun 02 Jun 2024

NF-intring-notation_front.svg Edited: Sun 02 Jun 2024

NF-lattice-in-Rd_back.svg Edited: Tue 30 Jan 2024

NF-lattice-in-Rd_front.svg Edited: Tue 30 Jan 2024

NF-legendre-prime-ideal-facts-thm_back.svg Edited: Thu 22 Feb 2024

NF-legendre-prime-ideal-facts-thm_front.svg Edited: Thu 22 Feb 2024

NF-lies-over-defn_back.svg Edited: Tue 13 Feb 2024

NF-lies-over-defn_front.svg Edited: Tue 13 Feb 2024

NF-lies-under-existence-uniqueness-lemma_back.svg Edited: Sun 02 Jun 2024

NF-lies-under-existence-uniqueness-lemma_front.svg Edited: Sun 02 Jun 2024

NF-mink-bound-1-proof_back.svg Edited: Tue 27 Feb 2024

NF-mink-bound-1-proof_front.svg Edited: Tue 27 Feb 2024

NF-minkowski-bound-2-thm_back.svg Edited: Thu 22 Feb 2024

NF-minkowski-bound-2-thm_front.svg Edited: Thu 22 Feb 2024

NF-minkowski-bound-3-coro_back.svg Edited: Thu 22 Feb 2024

NF-minkowski-bound-3-coro_front.svg Edited: Thu 22 Feb 2024

NF-minkowski-bound-thm_back.svg Edited: Thu 22 Feb 2024

NF-minkowski-bound-thm_front.svg Edited: Thu 22 Feb 2024

NF-minkowski-theorem_back.svg Edited: Tue 27 Feb 2024

NF-minkowski-theorem_front.svg Edited: Tue 27 Feb 2024

NF-minkowski-thm-lemma_back.svg Edited: Tue 27 Feb 2024

NF-minkowski-thm-lemma_front.svg Edited: Tue 27 Feb 2024

NF-modules-disc-formula_back.svg Edited: Thu 01 Feb 2024

NF-modules-disc-formula_front.svg Edited: Thu 01 Feb 2024

NF-monogenic-nf-defn_back.svg Edited: Thu 15 Feb 2024

NF-monogenic-nf-defn_front.svg Edited: Thu 15 Feb 2024

NF-multiplicativity-of-norm_back.svg Edited: Tue 13 Feb 2024

NF-multiplicativity-of-norm_front.svg Edited: Tue 13 Feb 2024

NF-nf-extension-ideal-association-reverse_back.svg Edited: Tue 13 Feb 2024

NF-nf-extension-ideal-association-reverse_front.svg Edited: Tue 13 Feb 2024

NF-nf-extension-ideal-association_back.svg Edited: Tue 13 Feb 2024

NF-nf-extension-ideal-association_front.svg Edited: Tue 13 Feb 2024

NF-norm-of-ideals_back.svg Edited: Tue 13 Feb 2024

NF-norm-of-ideals_front.svg Edited: Tue 13 Feb 2024

NF-number-field-defn_back.svg Edited: Thu 18 Jan 2024

NF-number-field-defn_front.svg Edited: Thu 18 Jan 2024

NF-prime-factorisation-of-ideals-lemma_back.svg Edited: Thu 08 Feb 2024

NF-prime-factorisation-of-ideals-lemma_front.svg Edited: Thu 08 Feb 2024

NF-prime-ideal-inverse-prop_back.svg Edited: Thu 08 Feb 2024

NF-prime-ideal-inverse-prop_front.svg Edited: Thu 08 Feb 2024

NF-primes-and-max-ideals-same-in-OK_back.svg Edited: Tue 06 Feb 2024

NF-primes-and-max-ideals-same-in-OK_front.svg Edited: Tue 06 Feb 2024

NF-primes-deg-sum-thm_back.svg Edited: Thu 15 Feb 2024

NF-primes-deg-sum-thm_front.svg Edited: Thu 15 Feb 2024

NF-proof-of-dedekind_back.svg Edited: Tue 20 Feb 2024

NF-proof-of-dedekind_front.svg Edited: Tue 20 Feb 2024

NF-proof-of-regular-flt_back.svg Edited: Sun 02 Jun 2024

NF-proof-of-regular-flt_front.svg Edited: Sun 02 Jun 2024

NF-q-div-disc-beta-in-OK-prop_back.svg Edited: Tue 06 Feb 2024

NF-q-div-disc-beta-in-OK-prop_front.svg Edited: Tue 06 Feb 2024

NF-quadratic-fields-intring_back.svg Edited: Tue 23 Jan 2024

NF-quadratic-fields-intring_front.svg Edited: Tue 23 Jan 2024

NF-quadratic-units-thm_back.svg Edited: Sun 02 Jun 2024

NF-quadratic-units-thm_front.svg Edited: Sun 02 Jun 2024

NF-ramification-index-defn_back.svg Edited: Thu 15 Feb 2024

NF-ramification-index-defn_front.svg Edited: Thu 15 Feb 2024

NF-regular-flt-prop2_back.svg Edited: Tue 12 Mar 2024

NF-regular-flt-prop2_front.svg Edited: Tue 12 Mar 2024

NF-regular-flt-thm_back.svg Edited: Tue 12 Mar 2024

NF-regular-flt-thm_front.svg Edited: Tue 12 Mar 2024

NF-regular-prime-defn_back.svg Edited: Tue 12 Mar 2024

NF-regular-prime-defn_front.svg Edited: Tue 12 Mar 2024

NF-unique-factorisation-of-ideals-thm_back.svg Edited: Thu 01 Feb 2024

NF-unique-factorisation-of-ideals-thm_front.svg Edited: Thu 01 Feb 2024

NF-unique-prime-factorisation-of-ideals-thm_back.svg Edited: Tue 20 Feb 2024

NF-unique-prime-factorisation-of-ideals-thm_front.svg Edited: Tue 20 Feb 2024

NF-units-lemma_back.svg Edited: Thu 29 Feb 2024

NF-units-lemma_front.svg Edited: Thu 29 Feb 2024