Theorem BoxIntegral.Prepartition.coe_eq_of_mem_split_of_lt_mem

Modification history