Theorem FirstOrder.Language.Theory.Iff.models_sentence_iff

Modification history