Theorem Nat.Subtype.orderIsoOfNat_apply

Modification history

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