Mathlib v3 is deprecated. Go to Mathlib v4

Def add_monoid_hom_lequiv_nat

Modification history

2021-09-22 02:48
src/linear_algebra/basic.lean
chore(linear_algebra/basic): generalize `add_monoid_hom_lequiv_{nat,int}` (#9233)
Modified add_monoid_hom_lequiv_natView on Github →
2021-05-17 12:38
src/linear_algebra/basic.lean
feat(linear_algebra/basic): add_monoid_hom_lequiv_int (#7629) …
Added add_monoid_hom_lequiv_natView on Github →