Theorem BoxIntegral.Prepartition.eq_of_mem_of_mem

Modification history