Theorem BoxIntegral.Prepartition.inf_def

Modification history