Theorem lowerPolar_iUnion

Modification history