Theorem FirstOrder.Language.Theory.CompleteType.not_mem_iff

Modification history