Commit 2024-07-31 10:11 0ca50c62

View on Github →

start

Estimated changes

Modified Mathlib/Algebra/Algebra/Operations.lean

Modified Mathlib/Algebra/BigOperators/Finsupp.lean

modified theorem Finsupp.sum_sum_index'

Modified Mathlib/Algebra/DirectLimit.lean