Theorem FirstOrder.Language.Theory.CompleteType.mem_of_models

Modification history