mathlib3

57de126a - refactor(category_theory/limits): use auto_param (#6696)

refactor(category_theory/limits): use auto_param (#6696) Add an `auto_param`, making it slightly more convenient when build limits of particular shapes first, then all limits. Co-authored-by: Scott Morrison <scott.morrison@gmail.com>