Mathlib v3 is deprecated. Go to Mathlib v4

Theorem category_theory.functor.mono_of_mono_map

Modification history

2022-07-11 09:33

src/category_theory/functor/epi_mono.lean

feat(category_theory/functor): preserving/reflecting monos/epis (#14829)

Added category_theory.functor.mono_of_mono_map View on Github →