Theorem upperBounds_empty

Modification history