Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-01-13 21:36 6397e144

View on Github →

feat(data/nat/cast): add nat.bin_cast for faster casting (#5664) As suggested by @gebner.

Estimated changes

added theorem nat.bin_cast_eq