Theorem lowerBounds_Ici

Modification history