Sign in
◑
Theme
fuchsia
/
third_party
/
github.com
/
leanprover
/
lean4
/
refs/heads/upstream/floatbits
/
.
/
tests
/
lean
/
expandExplicitBinders.lean.expected.out
blob: e334da3cbcac8dd3896548e84431c962e14d5277 [
file
] [
edit
]
(
a
:
Type
u_1
)
×
a
