Theorem BoxIntegral.Prepartition.IsPartition.unionᵢ_eq

Modification history