mathlib3
b02c529a - feat(category_theory/limits): strengthen simp lemma (#5326)

Commit

5 years ago

feat(category_theory/limits): strengthen simp lemma (#5326) Makes a simp lemma slightly stronger

Author

b-mehta

Parents