Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2020-05-09 08:33 96efc220

View on Github →

feat(data/nat/cast): nat.cast_with_bot (#2636) As requested on Zulip: https://leanprover.zulipchat.com/#narrow/stream/116395-maths/topic/with_bot/near/196979007

Estimated changes