Mathlib v3 is deprecated. Go to Mathlib v4

Theorem mem_exposed_points_iff_exposed_singleton

Modification history