Mathlib v3 is deprecated. Go to Mathlib v4

Theorem composition_as_set.blocks_partial_sum

Modification history