Theorem BoxIntegral.Prepartition.isPartition_single_iff

Modification history