Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2020-07-27 20:50 7556353d

View on Github →

feat(data/int/cast): monoid_hom.ext_int (#3587)

Estimated changes

Modified src/data/int/cast.lean

added theorem monoid_hom.ext_int