Theorem BoxIntegral.Prepartition.le_def

Modification history