Theorem upperPolar_union

Modification history