Mathlib Changelog v4

Changelog About Github

Def Set.Definable

Modification history

2023-05-12 16:00

Mathlib/ModelTheory/Definability.lean

feat: port ModelTheory.Definability (#3909)

Added Set.Definable View on Github →