Theorem CategoryTheory.Functor.flip_map_app

Modification history

2025-09-25 02:45
Mathlib/CategoryTheory/Functor/Category.lean
feat(simps): allow adding arbitrary attributes (#29911) …
Modified CategoryTheory.Functor.flip_map_appView on Github →
2025-08-12 05:09
Mathlib/CategoryTheory/Functor/Category.lean
feat: better statement of `flip_map_app` (#28213) …
Added CategoryTheory.Functor.flip_map_appView on Github →