Theorem Order.coheight_pos_of_lt_top

Modification history

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