mathlib3

5966e89b - added classical to exists_minimal_subset