mathlib3
feat(category_theory/comma): some limits in the over category and iterated slices
#2131
Merged
Merged
feat(category_theory/comma): some limits in the over category and iterated slices #2131
mergify
merged
14 commits into
master
from
overlimits
iterated slice and limits in over category
9c35917d
A bit more docs
f952425f
kim-em
commented
on 2020-03-11
kim-em
commented
on 2020-03-11
kim-em
commented
on 2020-03-11
kim-em
commented
on 2020-03-11
kim-em
commented
on 2020-03-11
kim-em
commented
on 2020-03-11
changes from review
f6d62d8d
removed simp attributes
61b2f760
over prod map left
55b04ba4
Update src/category_theory/comma.lean
4312e23c
bryangingechen
commented
on 2020-03-12
simplify equivalence definition
ff17a73e
fix indentation
a2516252
kim-em
requested changes
on 2020-03-12
make lemmas simp again
39b68c99
jcommelin
commented
on 2020-03-12
removed simp
3fdd9277
kim-em
approved these changes
on 2020-03-14
![mergify[bot]](https://avatars.githubusercontent.com/in/10562?v=4&s=60)
Merge branch 'master' into overlimits
c6895839
fix equalizers proof
05759c0b
Merge branch 'master' into overlimits
6d59c33f
Merge branch 'master' into overlimits
e35459e5
Reviewers
Assignees
No one assigned
Labels
ready-to-merge
Milestone
No milestone
Login to write a write a comment.
Login via GitHub