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)
Added FirstOrder.Language.PartialEquiv.toEmbeddingOfEqTop_applyView on Github →