Sign in
◑
Theme
fuchsia
/
third_party
/
github.com
/
leanprover
/
lean4
/
refs/heads/upstream/expose-array-back
/
.
/
tests
/
elab
/
inst.lean.out.expected
blob: e3589f2ffddc6cbda7485ac0f44b0e9aa0e2621c [
file
] [
edit
]
f
#0 #1 #0
f a
(
f b
)
a
f a
(
f b
)
a
f a
(
f b
)
a
f
(
f b
)
a
(
f b
)
f a
#0 a
f a
#0 a
