Def CategoryTheory.Functor.mapActionComp

Modification history

2025-12-13 14:21

Mathlib/CategoryTheory/Action/Basic.lean

chore: use `Category*` everywhere (#32842) …

Modified CategoryTheory.Functor.mapActionComp View on Github →

2025-05-04 19:54

Mathlib/CategoryTheory/Action/Basic.lean

feat(CategoryTheory/Action): functoriality for `ContAction` (#24562)

Added CategoryTheory.Functor.mapActionComp View on Github →