Theorem lowerPolar_swap

Modification history