The zero-padded record product with `Δ = 0` gives the Toeplitz sums (round six, `kmulD_toep`)

Initializing...

The zero-padded record product with `Δ = 0` gives the Toeplitz sums (round six, `kmulD_toep`) · Prove2Me