Theorem CategoryTheory.Functor.preservesMonomorphisms_of_preserves_of_reflects

Modification history

2023-02-23 12:36

Mathlib/CategoryTheory/Functor/EpiMono.lean

feat: port CategoryTheory.Functor.EpiMono (#2331)

Added CategoryTheory.Functor.preservesMonomorphisms_of_preserves_of_reflects View on Github →