Mathlib v3 is deprecated. Go to Mathlib v4

Theorem set.empty_definable_iff

Modification history

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