Mathlib Changelog
v3
Changelog
About
Github
Mathlib v3 is deprecated.
Go to Mathlib v4
Def
linear_equiv.to_Module_iso'_right
Modification history
2021-03-23 23:08
src/algebra/category/Module/basic.lean
feat(algebra/category): add more variants of Module.as_hom (#6822)
Added
linear_equiv.to_Module_iso'_right
View on Github →