mathlib

0cb634fb - feat(category_theory/subobject): subobject category equivalent to mono over category (#8304)