Commit 2025-04-15 15:31 fb24ff15

View on Github →

chore(CategoryTheory/Over): fix name of Under.pullbackComp (#24084)

Estimated changes