Theorem upperPolar_iUnion

Modification history