Commit 2025-12-06 12:38 97b7e473

View on Github →

chore(CategoryTheory/WithTerminal): remove use of erw in liftStar_lift_map (#32487)

Estimated changes