Def FirstOrder.Language.DirectedSystem.natLERec

Modification history

2023-07-13 08:07

Mathlib/ModelTheory/DirectLimit.lean

chore: tidy various files (#5840)

Added FirstOrder.Language.DirectedSystem.natLERec View on Github →