Mathlib v3 is deprecated. Go to Mathlib v4

Theorem set.definable_iff_empty_definable_with_params

Modification history

2022-03-21 12:46
src/model_theory/definability.lean
feat(model_theory/definability): Definability lemmas (#12262) …
Added set.definable_iff_empty_definable_with_paramsView on Github →