Theorem BoxIntegral.Prepartition.biUnion_congr

Modification history