Theorem FirstOrder.Language.BoundedFormula.relabelAux_sumInl

Modification history