P
Initializing...
The natural-number part of the cost bound (`cost_nat`) · Prove2Me