Theorem IsExtreme.extremePoints_subset_extremePoints

Modification history