Theorem CategoryTheory.MonoOver.subobjectMk_le_mk_of_hom

Modification history

2025-03-16 16:36
Mathlib/CategoryTheory/Subobject/Basic.lean
feat(CategoryTheory): Noetherian objects (#22373) …
Modified CategoryTheory.MonoOver.subobjectMk_le_mk_of_homView on Github →
2025-02-17 13:55
Mathlib/CategoryTheory/Subobject/Basic.lean
feat(CategoryTheory): subobjects in Grothendieck abelian categories (#21986) …
Added CategoryTheory.MonoOver.subobjectMk_le_mk_of_homView on Github →