Commit 2025-12-06 20:52 9af34aa5

View on Github →

chore(CategoryTheory/Localization): remove use of erw in homMap_apply (#32511)

Estimated changes