Theorem FirstOrder.Language.BoundedFormula.relabel_sumInl

Modification history