Theorem lowerBounds_upperClosure

Modification history