Theorem Order.krullDim_le_of_orderEmbedding

Modification history

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