Def FirstOrder.Language.Substructure.CG

Modification history

2023-05-13 13:28

Mathlib/ModelTheory/FinitelyGenerated.lean

feat: port ModelTheory.FinitelyGenerated (#3927)

Added FirstOrder.Language.Substructure.CG View on Github →