Sign in
◑
Theme
fuchsia
/
third_party
/
github.com
/
leanprover
/
lean4
/
refs/heads/upstream/repeat
/
.
/
tests
/
lean
/
653.lean
blob: da3249b7fe50e5e4bf1fe283130ba1e3059696d5 [
file
] [
edit
]
structure
Color
(
red
:
Nat
)
(
green
:
Nat
)
(
blue
:
Nat
)
def
yellow
:=
Color
.
mk
255
255
0
