Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-05-17 12:38 36e01274

View on Github →

feat(linear_algebra/basic): add_monoid_hom_lequiv_int (#7629) From LTE.

Estimated changes