Commit 2026-01-27 21:38 523b3337

View on Github →

chore(CategoryTheory/Action): fix typos and update docs (#34277) Issues found and fixed by Codex.

Estimated changes

modified theorem Action.forget_η