Commit 2026-09-22 20:19 5fe4d2f8

View on Github →

style(Algebra/Polynomial/Eval/Defs): make two lemmas follow the 'hypothesis left of colon' rule (#43996)

Estimated changes