Commit 2020-09-13 03:55 f403a8be
View on Github →feat(category_theory/limits/types): is_limit versions of limits in type (#4130)
is_limit
versions for definitions and lemmas about limits in Type u
.
feat(category_theory/limits/types): is_limit versions of limits in type (#4130)
is_limit
versions for definitions and lemmas about limits in Type u
.