Mathlib Changelog
v4
Changelog
About
Github
Commit
2025-08-09 15:13
d9ebc1ce
View on Github →
feat(CategoryTheory/Action):
Action.sub_hom
(
#28146
) From ClassFieldTheory
Estimated changes
Modified
Mathlib/Algebra/Category/ContinuousCohomology/Basic.lean
Modified
Mathlib/CategoryTheory/Action/Basic.lean
added
theorem
Action.hom_injective
Modified
Mathlib/CategoryTheory/Action/Limits.lean
modified
theorem
Action.add_hom
modified
theorem
Action.neg_hom
added
theorem
Action.nsmul_hom
added
theorem
Action.sub_hom
modified
theorem
Action.sum_hom
added
theorem
Action.zsmul_hom