Def ContAction.resEquiv

Modification history

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