Commit 2023-12-27 05:26 e9819624

View on Github →

feat(CategoryTheory): the localized category when there is a left calculus of fractions (#8921)

Estimated changes