Commit 2026-01-14 11:11 57837612

View on Github →

chore(CategoryTheory/Iso): address FIXME (#33945) This comment in the code complains about a limitation of @[reassoc], but it seems reassoc has improved since.

Estimated changes