Theorem FirstOrder.Language.Theory.isSatisfiable_iff_isFinitelySatisfiable

Modification history