Theorem FirstOrder.Language.BoundedFormula.not_ex_isAtomic

Modification history