Theorem lowerPolar_union

Modification history