Commit 2025-12-06 12:38 2ff4254e
View on Github →chore(CategoryTheory/Limits/Shapes): remove use of erw in cokernel.isColimitCoconeZeroCocone (#32502)
chore(CategoryTheory/Limits/Shapes): remove use of erw in cokernel.isColimitCoconeZeroCocone (#32502)