Theorem BoxIntegral.Prepartition.card_filter_mem_Icc_le

Modification history