Theorem CategoryTheory.strongMono_comp

Modification history

2025-11-18 11:33
Mathlib/CategoryTheory/Limits/Shapes/StrongEpi.lean
chore(CategoryTheory): `IsRegularEpi` and its `MorphismProperty` (#31145) …
Deleted CategoryTheory.strongMono_compView on Github →
2023-02-22 04:23
Mathlib/CategoryTheory/Limits/Shapes/StrongEpi.lean
feat: port CategoryTheory.Limits.Shapes.StrongEpi (#2327)
Added CategoryTheory.strongMono_compView on Github →