Mathlib Changelog v4

Changelog About Github

Structure FirstOrder.Language

Modification history

2023-03-30 05:03

Mathlib/ModelTheory/Basic.lean

feat: port ModelTheory.Basic (#2296)

Added FirstOrder.Language View on Github →