Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2022-02-03 10:20 e61ce5dc

View on Github →

chore(category_theory/limits): dualize strong_epi (#11783)

Estimated changes

Modified src/category_theory/abelian/basic.lean

added theorem category_theory.abelian.strong_mono_of_mono

Modified src/category_theory/limits/shapes/regular_mono.lean

Modified src/category_theory/limits/shapes/strong_epi.lean

added theorem category_theory.is_iso_of_epi_of_strong_mono

added theorem category_theory.strong_mono_comp

added theorem category_theory.strong_mono_of_strong_mono