mathlib3
76d51ed8 - feat(category_theory): limits of essentially small indexing categories

Commit

3 years ago

feat(category_theory): limits of essentially small indexing categories

Author

TwoFX

TwoFX

Parents

Loading