Theorem CategoryTheory.Subobject.epi_iff_mk_eq_top

Modification history

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