Theorem lowerPolar_empty

Modification history