Theorem BoxIntegral.Prepartition.bunionᵢ_congr

Modification history