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
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