Theorem extremePoints_subset

Modification history