Theorem IsLocalization.height_map_of_disjoint

Modification history

2026-01-10 16:04
Mathlib/RingTheory/Ideal/Height.lean
feat(RingTheory/KrullDimension): dimension of polynomial ring (#27542) …
Added IsLocalization.height_map_of_disjointView on Github →