mathlib3

560a0092 - feat(category_theory): formally adjoined initial objects are strict (#7222)