4 lines
32 B
Coq
4 lines
32 B
Coq
|
[multiply
|
||
|
|
[a b] let
|
||
|
|
a b *].
|