mathlib

037821b8 - chore(category_theory/limits/types): remove simp lemmas (#3604)

chore(category_theory/limits/types): remove simp lemmas (#3604) No one wants to see how the sausage is being made. Or at least, no one wants `simp` to show you without asking. Co-authored-by: Scott Morrison <scott.morrison@gmail.com>