Theorem BoxIntegral.Box.coe_eq_pi

Modification history