Theorem FirstOrder.Language.completeTheory.mem_or_not_mem

Modification history