Theorem subset_upperPolar_lowerPolar

Modification history