Theorem FirstOrder.Language.BoundedFormula.sum_elim_comp_relabelAux
Modification history
2025-02-21 13:51
Mathlib/ModelTheory/Syntax.lean
chore: more renamings to fit the naming convention (#22148) …
Deleted FirstOrder.Language.BoundedFormula.sum_elim_comp_relabelAuxView on Github →