pullbacks): missing simp lemmas (#13237)

Commit

3 years ago

feat(category_theory/limits/pullbacks): missing simp lemmas (#13237) Absence noted in LTE. Co-authored-by: Scott Morrison <scott.morrison@gmail.com>

Author

kim-em

Parents