Theorem lowerPolar_anti

Modification history