mathlib3
17d8e679 - feat(category_theory): every category is essentially small... (#15874)

Commit

3 years ago

feat(category_theory): every category is essentially small... (#15874) ...if you look at it from far enough away.

Author

TwoFX

Parents