3 lines
82 B
Text
3 lines
82 B
Text
#import nat
|
|
|
|
choose = ~&ar^?\1! quotient^\~&ar product^/~&al ^|R/~& predecessor~~
|