Def CategoryTheory.Functor.Equivalence.mapAction

Modification history

2025-12-13 14:21
Mathlib/CategoryTheory/Action/Basic.lean
chore: use `Category*` everywhere (#32842) …
Modified CategoryTheory.Functor.Equivalence.mapActionView on Github →
2025-05-04 19:54
Mathlib/CategoryTheory/Action/Basic.lean
feat(CategoryTheory/Action): functoriality for `ContAction` (#24562)
Added CategoryTheory.Functor.Equivalence.mapActionView on Github →