Theorem Nat.Subtype.coe_bot

Modification history

2022-12-12 09:33
Mathlib/Data/Nat/Order/Lemmas.lean
feat: Port Data.Nat.Order.Lemmas (#927) …
Added Nat.Subtype.coe_botView on Github →