Sign in
◑
Theme
fuchsia
/
third_party
/
github.com
/
leanprover
/
lean4
/
refs/heads/upstream/floatbits
/
.
/
tests
/
lean
/
diamond5.lean.expected.out
blob: 57061a4aad225b31d01c5020327b317bd1908a6e [
file
] [
edit
]
D
.
toC_1
{α
:
Type
}
[
self
:
D
α]
:
C
α
