Commit 2025-12-06 21:34 1b21a5e0

View on Github →

chore(CategoryTheory/Limits): remove use of erw in limit.pre_π and limit.post_π (#32518)

Estimated changes