Theorem Action.nsmul_hom

Modification history

2025-08-09 15:13

Mathlib/CategoryTheory/Action/Limits.lean

feat(CategoryTheory/Action): `Action.sub_hom` (#28146) …

Added Action.nsmul_hom View on Github →