Commit 2025-10-29 07:12 c0ae1f30

View on Github →

chore: remove some unused variables (#31017)

Estimated changes

Modified Mathlib/Algebra/BigOperators/Group/List/Defs.lean

modified theorem List.prod_cons