mathlib3
2b92d080 - feat(model_theory/elementary_maps): The Tarski-Vaught test (#12919)

Commit

4 years ago

feat(model_theory/elementary_maps): The Tarski-Vaught test (#12919) Proves the Tarski-Vaught test for elementary embeddings and substructures.

Author

awainverse

Parents