Theorem lowerBounds_empty

Modification history