Commit 2025-12-06 12:38 98789708

View on Github →

chore(CategoryTheory/Limits): remove use of erw in colimit.ι_post (#32490)

Estimated changes