Theorem first_order.language.Theory.semantically_equivalent.some_model_realize_iff
Modification history
2022-03-31 16:09
src/model_theory/satisfiability.lean
feat(model_theory/bundled, satisfiability): Bundled models (#12945) …
Deleted first_order.language.Theory.semantically_equivalent.some_model_realize_iffView on Github →