Theorem Action.zsmul_hom

Modification history

2025-08-09 15:13
Mathlib/CategoryTheory/Action/Limits.lean
feat(CategoryTheory/Action): `Action.sub_hom` (#28146) …
Added Action.zsmul_homView on Github →