Theorem upperPolar_swap

Modification history