Theorem BoxIntegral.unitPartition.tag_mem_smul_span

Modification history