Def FirstOrder.Language.Substructure.Simps.coe

Modification history

2023-05-12 16:00

Mathlib/ModelTheory/Substructures.lean

feat: port ModelTheory.Substructures (#3913)

Added FirstOrder.Language.Substructure.Simps.coe View on Github →