Theorem BoxIntegral.Prepartition.injOn_setOf_mem_Icc_setOf_lower_eq

Modification history