Theorem gc_upperPolar_lowerPolar

Modification history