mathlib3

d6506747 - feat(category_theory/subterminal): subterminal category equiv subobjects of terminal (#6755)