mathlib

238c58c3 - chore(category_theory/limits): golf a proof (#5130)