2 lines
31 B
Coq
2 lines
31 B
Coq
|
|1221 prime-decomposition puts
|
|
|
|1221 prime-decomposition puts
|