Theorem subset_upperPolar_iff_subset_lowerPolar

Modification history