Theorem BoxIntegral.Box.icc_eq_pi

Modification history