mathlib3

fix(category_theory/limits/shapes): doc typo [ci skip]

#1406

Merged