Int

📁 Source: Mathlib/Algebra/EuclideanDomain/Int.lean

Statistics

Metric	Count
Definitions euclideanDomain	1
Theorems	0
Total	1

Int

Definitions

Name	Category	Theorems
euclideanDomain 📖	CompOp	16 math math: Rat.isFractionRingDen, AbsoluteValue.abs_isEuclidean, Rat.associated_num_den, Ideal.relNorm_int, absNorm_under_mem, NumberField.absNorm_differentIdeal, Rat.isFractionRingNum, absNorm_under_dvd_absNorm, ideal_span_absNorm_eq_self, absNorm_under_eq_sInf, natAbs_euclideanDomain_gcd, cast_mem_ideal_iff, Ideal.ringChar_quot, liesOver_span_absNorm, NumberField.Ideal.primesOverSpanEquivMonicFactorsMod_symm_apply, Nat.absNorm_under_prime

---

← Back to Index