mathlib
b8aa28d3 - feat(category_theory): limits of essentially small indexing categories (#15377)

Commit

4 years ago

feat(category_theory): limits of essentially small indexing categories (#15377)

Author

TwoFX

TwoFX

Parents

Loading