Theorem FirstOrder.Language.Theory.models_formula_iff

Modification history