Theorem BoxIntegral.Prepartition.monotone_restrict

Modification history