types): ext iff lemma (#4883)

Commit

5 years ago

feat(category_theory/limits/types): ext iff lemma (#4883) A little lemma which sometimes makes it easier to work with limits in type.

References

Author

b-mehta

Parents