Commit 2020-11-03 17:56 b37d4a3d
View on Github →feat(category_theory/limits/types): ext iff lemma (#4883) A little lemma which sometimes makes it easier to work with limits in type.
feat(category_theory/limits/types): ext iff lemma (#4883) A little lemma which sometimes makes it easier to work with limits in type.