Mathlib v3 is deprecated. Go to Mathlib v4

Def add_monoid_hom.to_nat_linear_map

Modification history

2021-05-17 12:38
src/algebra/module/linear_map.lean
feat(linear_algebra/basic): add_monoid_hom_lequiv_int (#7629) …
Added add_monoid_hom.to_nat_linear_mapView on Github →