Mathlib Changelog v4

Changelog About Github

Def FirstOrder.Language.Theory.typeOf

Modification history

2023-05-25 11:24

Mathlib/ModelTheory/Types.lean

feat: port ModelTheory.Types (#3991)

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