Theorem CategoryTheory.mono_iff_isPullback

Modification history

2024-02-09 04:56
Mathlib/CategoryTheory/Limits/EpiMono.lean
feat(CategoryTheory): characterization of epi/mono with limits (#9989) …
Added CategoryTheory.mono_iff_isPullbackView on Github →