Theorem BoxIntegral.Box.antitone_lower

Modification history