Google Git Google Git
Sign in
fuchsia/third_party/github.com/leanprover/lean4/refs/heads/upstream/Array.mapIdx/./tests/lean/sepByIndentQuot.lean.expected.out
blob: e885a3765f7b267e6b4b0e2e9fe7b389ac49c749 [file] [edit]
frobnicate✝ { x := x, x := x, x := x, x := x }
frobnicate✝
{ x := x
x := x
x := x
x := x }