Theorem BoxIntegral.Box.isSome_iff

Modification history