Theorem Set.Definable.image_comp_sumInl_fin

Modification history

2025-02-21 13:51
Mathlib/ModelTheory/Definability.lean
chore: more renamings to fit the naming convention (#22148) …
Added Set.Definable.image_comp_sumInl_finView on Github →