Theorem FirstOrder.Language.DirectedSystem.coe_natLERec

Modification history

2023-07-13 08:07
Mathlib/ModelTheory/DirectLimit.lean
chore: tidy various files (#5840)
Added FirstOrder.Language.DirectedSystem.coe_natLERecView on Github →