Commit 2025-10-21 22:20 4994494b

View on Github →

style(Algebra): fix whitespace (#30688) Extracted from #30658. Found by extending the commandStart linter to proof bodies.

Estimated changes

modified theorem Pi.div_apply
modified theorem Polynomial.smeval_X_pow_mul
modified theorem Polynomial.smeval_at_zero
modified theorem Polynomial.smeval_comp
modified theorem Polynomial.smeval_mul
modified theorem Polynomial.smeval_mul_X_pow
modified theorem Polynomial.smeval_neg
modified theorem Polynomial.smeval_pow
modified def Polynomial.smul_pow