Theorem BoxIntegral.Prepartition.IsPartition.iUnion_subset

Modification history