Theorem Order.krullDim_of_noMaxOrder

Modification history

2024-11-20 12:32
Mathlib/Order/KrullDimension.lean
feat(KrullDimension): concrete calculations (#19210) …
Added Order.krullDim_of_noMaxOrderView on Github →