Mathlib v3 is deprecated. Go to Mathlib v4

Theorem set.definable.map_expansion

Modification history

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