Theorem Ideal.height_le_height_add_spanFinrank_of_le

Modification history

2026-01-22 07:06
Mathlib/RingTheory/Ideal/KrullsHeightTheorem.lean
feat(RingTheory/KrullDimension): generalize some results about local rings (#27557) …
Added Ideal.height_le_height_add_spanFinrank_of_leView on Github →