Theorem FirstOrder.Language.BoundedFormula.sumElim_comp_relabelAux

Modification history