Theorem CategoryTheory.mono_iff_isIso_fst

Modification history

2024-07-28 23:33

Mathlib/CategoryTheory/Limits/EpiMono.lean

chore: robustifying for debug.byAsSorry (part 13) (#15197)

Modified CategoryTheory.mono_iff_isIso_fst View on Github →

2024-02-09 04:56

Mathlib/CategoryTheory/Limits/EpiMono.lean

feat(CategoryTheory): characterization of epi/mono with limits (#9989) …

Added CategoryTheory.mono_iff_isIso_fst View on Github →