Commit 2025-12-06 22:49 014cecee

View on Github →

chore(CategoryTheory/Idempotents): remove uses of erw (#32520)

Estimated changes