Theorem mem_exposedPoints_iff_exposed_singleton

Modification history