Theorem Composition.sum_blocksFun

Modification history