Theorem upperPolar_anti

Modification history