mathlib

a4f59bde - feat(category_theory/subobject): easy facts about the top subobject (#7267)