Theorem BoxIntegral.Prepartition.iUnion_restrict

Modification history