Theorem BoxIntegral.Prepartition.IsPartition.compl_eq_bot

Modification history