Mathlib v3 is deprecated. Go to Mathlib v4

Theorem set.definable.image_comp_sum_inl_fin

Modification history

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