Theorem extremePoints_empty

Modification history