Mathlib Changelog
v4
Changelog
About
Github
Theorem
FirstOrder.Language.DirectedSystem.coe_natLeRec
Modification history
2023-07-13 08:07
Mathlib/ModelTheory/DirectLimit.lean
chore: tidy various files (#5840)
Deleted
FirstOrder.Language.DirectedSystem.coe_natLeRec
View on Github →
2023-07-04 18:38
Mathlib/ModelTheory/DirectLimit.lean
feat: port ModelTheory.DirectLimit (#4391)
Added
FirstOrder.Language.DirectedSystem.coe_natLeRec
View on Github →