Theorem FirstOrder.Language.PartialEquiv.toEmbeddingOfEqTop__apply

Modification history

2025-02-10 10:42
Mathlib/ModelTheory/PartialEquiv.lean
feat: lint declarations which contain a double underscore (#17580)
Deleted FirstOrder.Language.PartialEquiv.toEmbeddingOfEqTop__applyView 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.PartialEquiv.toEmbeddingOfEqTop__applyView on Github →