Theorem FirstOrder.Language.BoundedFormula.not_all_isAtomic

Modification history