Sign in
◑
Theme
fuchsia
/
third_party
/
github.com
/
leanprover
/
lean4
/
refs/heads/upstream/Array.mapIdx
/
.
/
tests
/
lean
/
notationDelab.lean.expected.out
blob: 6de7670b0b357e5c9d13864ee72bcafb7a534cac [
file
] [
edit
]
unitTest
42
:
Nat
×
Unit
parenthesisTest
12
:
Nat
→
Nat
{
x
|
x
≤
1
}
:
Set
Nat
cdotTest
(
13
,
12
)
:
Nat
×
Nat
tupleFunctionTest
(
15
,
12
)
:
Nat
×
Nat
(
12
,
12
)
:
Nat
×
Nat
