Theorem CategoryTheory.strongMono_of_strongMono

Modification history

2026-06-24 13:15
Mathlib/CategoryTheory/Limits/Shapes/StrongEpi.lean
chore(CategoryTheory/Limits/Shapes/StrongEpi): use `to_dual` (#40959) …
Deleted CategoryTheory.strongMono_of_strongMonoView on Github →
2023-02-22 04:23
Mathlib/CategoryTheory/Limits/Shapes/StrongEpi.lean
feat: port CategoryTheory.Limits.Shapes.StrongEpi (#2327)
Added CategoryTheory.strongMono_of_strongMonoView on Github →