mathlib3
efa2e000 - feat(category_theory): working in Sort rather than Type, as far as possible

Commit

6 years ago

feat(category_theory): working in Sort rather than Type, as far as possible

Author

kim-em

kim-em

Committer

kim-em

kim-em

Parents

Loading