Def Action.resEquiv

Modification history

2025-05-04 19:54
Mathlib/CategoryTheory/Action/Basic.lean
feat(CategoryTheory/Action): functoriality for `ContAction` (#24562)
Added Action.resEquivView on Github →