9 lines
79 B
Coq
9 lines
79 B
Coq
|
|
3 [
|
||
|
|
[1 =] [1 *]
|
||
|
|
[2 =] [10 *]
|
||
|
|
[3 =] [100 *]
|
||
|
|
[4 =] [1000 *]
|
||
|
|
] when
|
||
|
|
|
||
|
|
=300
|