Theorem CategoryTheory.Subobject.thinSkeleton_mk_representative_eq_self

Modification history

2026-02-19 09:27
Mathlib/CategoryTheory/Subobject/Basic.lean
chore(CategoryTheory/Subobject): correct `inf_eq_map_pullback` (#35395) …
Added CategoryTheory.Subobject.thinSkeleton_mk_representative_eq_selfView on Github →