Theorem upperBounds_union

Modification history