Sign in
◑
Theme
fuchsia
/
third_party
/
github.com
/
leanprover
/
lean4
/
refs/heads/upstream/Array.mapIdx
/
.
/
tests
/
lean
/
inst.lean.expected.out
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
