Theorem Nat.coe_orderEmbeddingOfSet

Modification history

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