Theorem CategoryTheory.Subobject.mk_surjective

Modification history

2025-03-11 16:03
Mathlib/CategoryTheory/Subobject/Basic.lean
feat(CategoryTheory/Subobject): add some lemmas wrt. the IsPullback API (#22379) …
Added CategoryTheory.Subobject.mk_surjectiveView on Github →