Theorem Order.height_pos_of_bot_lt

Modification history

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