Theorem CategoryTheory.StrongMono.iff_of_arrow_iso

Modification history

2023-02-22 04:23
Mathlib/CategoryTheory/Limits/Shapes/StrongEpi.lean
feat: port CategoryTheory.Limits.Shapes.StrongEpi (#2327)
Added CategoryTheory.StrongMono.iff_of_arrow_isoView on Github →