P
Initializing...
The canonical core first-return time and its validity conditions · Prove2Me