Theorem CategoryTheory.IsGrothendieckAbelian.mono_of_isColimit_monoOver

Modification history

2025-02-17 13:55
Mathlib/CategoryTheory/Abelian/GrothendieckCategory/Subobject.lean
feat(CategoryTheory): subobjects in Grothendieck abelian categories (#21986) …
Added CategoryTheory.IsGrothendieckAbelian.mono_of_isColimit_monoOverView on Github →