Commit 2025-08-09 15:13 d9ebc1ce

View on Github →

feat(CategoryTheory/Action): Action.sub_hom (#28146) From ClassFieldTheory

Estimated changes

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