Def CategoryTheory.Functor.mapArrowFunctor

Modification history

2023-09-05 20:39

Mathlib/CategoryTheory/Arrow.lean

feat(CategoryTheory): misc lemmas about morphism properties (#6887)

Added CategoryTheory.Functor.mapArrowFunctor View on Github →