Def CategoryTheory.Under.mapFunctor

Modification history

2025-10-20 13:51
Mathlib/CategoryTheory/Comma/Over/Basic.lean
style: fix whitespace (#30724) …
Modified CategoryTheory.Under.mapFunctorView on Github →
2024-07-16 09:32
Mathlib/CategoryTheory/Comma/Over.lean
feat(CategoryTheory): Cat-valued functors induced by passing to Over/Under categories (#14656) …
Added CategoryTheory.Under.mapFunctorView on Github →