Theorem subset_lowerPolar_upperPolar

Modification history