Theorem BoxIntegral.Prepartition.isPartition_iff_iUnion_eq

Modification history