Def FirstOrder.Language.Theory.IsFinitelySatisfiable

Modification history