Theorem Nat.orderEmbeddingOfSet_range

Modification history

2023-03-06 17:29
Mathlib/Order/OrderIsoNat.lean
feat: update SHA from #18277 (#2653) …
Modified Nat.orderEmbeddingOfSet_rangeView on Github →
2023-01-24 13:10
Mathlib/Order/OrderIsoNat.lean
feat: port Order.OrderIsoNat (#1753)
Added Nat.orderEmbeddingOfSet_rangeView on Github →