Commit 2024-08-09 14:59 6e0804c6

View on Github →

chore: backports for leanprover/lean4#4814 (part 39) (#15636)

Estimated changes

modified theorem DFinsupp.comapDomain_single
modified theorem DFinsupp.sigmaUncurry_add
modified theorem DFinsupp.sigmaUncurry_apply
modified theorem DFinsupp.sigmaUncurry_smul
modified theorem DFinsupp.sigmaUncurry_zero
modified theorem DFinsupp.subtypeDomain_sum
modified theorem DFinsupp.sum_apply