Theorem lowerBounds_union

Modification history