Theorem Order.coheight_lt_top

Modification history

2026-04-15 00:18
Mathlib/Order/KrullDimension.lean
feat(RingTheory): adds two lemmas on `Module.length` (#36657) …
Added Order.coheight_lt_topView on Github →