Def CategoryTheory.Functor.mapArrowEquivalence

Modification history

2023-09-05 20:39

Mathlib/CategoryTheory/Arrow.lean

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

Added CategoryTheory.Functor.mapArrowEquivalence View on Github →