Def Lean.Syntax.TSepArray.ofElems

Modification history

2024-01-30 01:07
Mathlib/Util/Syntax.lean
chore: bump Std to leanprover/std4#242 (#10104)
Deleted Lean.Syntax.TSepArray.ofElemsView on Github →
2023-06-25 11:21
Mathlib/Util/Syntax.lean
chore: disable relaxedAutoImplicit (#5277) …
Modified Lean.Syntax.TSepArray.ofElemsView on Github →
2022-07-01 07:50
Mathlib/Util/Syntax.lean
chore: bump to nightly-2022-06-30 (#295)
Added Lean.Syntax.TSepArray.ofElemsView on Github →