Theorem lowerPolar_upperPolar_lowerPolar

Modification history