Theorem BoxIntegral.Box.mk'_eq_bot

Modification history