Theorem FirstOrder.Language.Substructure.FG.cg

Modification history

2023-05-13 13:28

Mathlib/ModelTheory/FinitelyGenerated.lean

feat: port ModelTheory.FinitelyGenerated (#3927)

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