mathlib

f11e306a - feat(category_theory/limits/construction): Construct finite limits from terminal objects and pullbacks (#14948)

feat(category_theory/limits/construction): Construct finite limits from terminal objects and pullbacks (#14948) Also provides the dual version, and also in terms of `preserves_limit`. Co-authored-by: Andrew Yang <36414270+erdOne@users.noreply.github.com>