Def FirstOrder.Language.Theory.typesWith

Modification history

2026-04-07 15:22

Mathlib/ModelTheory/Types.lean

chore(ModelTheory/Types): expose `T` in `typesWith` and move it to `Theory` (#36955) …

Added FirstOrder.Language.Theory.typesWith View on Github →