Theorem lowerBounds_Ioc

Modification history