Theorem lowerBounds_singleton

Modification history