Theorem CategoryTheory.Subobject.pullback_obj_mk

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.pullback_obj_mkView on Github →