Theorem lowerBounds_mono

Modification history