Def FirstOrder.Language.Substructure.FG

Modification history

2023-05-13 13:28

Mathlib/ModelTheory/FinitelyGenerated.lean

feat: port ModelTheory.FinitelyGenerated (#3927)

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