Sign in
◑
Theme
fuchsia
/
third_party
/
github.com
/
leanprover
/
lean4
/
refs/heads/upstream/floatbits
/
.
/
tests
/
lean
/
abst.lean.expected.out
blob: 06a72efe734584b6e25f7e0e37c9ddbc9b2793be [
file
] [
edit
]
f x y
(
f x
)
f
#1 #0 (f #1)
f x y
(
f x
)
f a
(
f b
)
(
f a
)
f
#0 a (f #0)
f
#0 y (f #0)
f
#1 #0 (f #1)
