Sign in
◑
Theme
fuchsia
/
third_party
/
github.com
/
leanprover
/
lean4
/
refs/heads/upstream/Array.mapIdx
/
.
/
tests
/
lean
/
1367.lean
blob: a71567c5c12f2048eb1e6b01e511abc951e36a1f [
file
] [
edit
]
def
two
:=
2
notation
"𝟚"
=>
two
/-
𝟚
:
Nat
-/
#check 𝟚
def
three
(
_
:
Nat
)
:=
3
notation
"𝟛"
=>
three
/-
three
10
:
Nat
-/
#check 𝟛 10
