Theorem BoxIntegral.Prepartition.coe_eq_of_mem_split_of_mem_le

Modification history