Commit 2025-12-06 12:22 634bcf4d

View on Github →

chore(CategoryTheory/Limits/Shapes/Opposites): remove use of erw in Fan.IsLimit.op (#32505)

Estimated changes