Mathlib Changelog
v4
Changelog
About
Github
Theorem
FirstOrder.Language.Embedding.toPartialEquiv_toEmbedding
Modification history
2025-03-12 15:37
Mathlib/ModelTheory/PartialEquiv.lean
chore(whitespace): more whitespace changes (#22850) …
Modified
FirstOrder.Language.Embedding.toPartialEquiv_toEmbedding
View on Github →
2024-08-06 09:11
Mathlib/ModelTheory/PartialEquiv.lean
feat(ModelTheory/Substructures): define equivalences between substructures and prove simple results (#11175) …
Added
FirstOrder.Language.Embedding.toPartialEquiv_toEmbedding
View on Github →