Mathlib Changelog
v3
Changelog
About
Github
Mathlib v3 is deprecated.
Go to Mathlib v4
Commit
2021-03-27 03:05
3fe67c86
View on Github →
feat(algebra/module): pull-back module structures along homomorphisms (
#6895
)
Estimated changes
Modified
src/algebra/algebra/basic.lean
Modified
src/algebra/module/basic.lean
added
def
ring_hom.comp_semimodule
Modified
src/group_theory/group_action/basic.lean
Modified
src/group_theory/group_action/defs.lean
added
def
monoid_hom.comp_distrib_mul_action
added
def
monoid_hom.comp_mul_action