Theorem Ideal.absNorm_top

Modification history

2024-08-12 15:39

Mathlib/RingTheory/Ideal/Norm.lean

chore: remove unnecessary _root_ qualifications (#15704)

Modified Ideal.absNorm_top View on Github →

2023-06-22 06:58

Mathlib/RingTheory/Ideal/Norm.lean

feat: port RingTheory.Ideal.Norm (#5311)

Added Ideal.absNorm_top View on Github →