Theorem IsGLB.lowerBounds_eq

Modification history