Def FirstOrder.Language.Theory.ModelType.equivInduced

Modification history

2023-05-13 14:37

Mathlib/ModelTheory/Bundled.lean

feat: port ModelTheory.Bundled (#3933)

Added FirstOrder.Language.Theory.ModelType.equivInduced View on Github →