Theorem FirstOrder.Language.Theory.CompleteType.nonempty_iff

Modification history