Theorem Action.hom_injective

Modification history

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