Theorem lowerBounds_insert

Modification history