P
Initializing...
Theorem 1.7 (open book): an unknotted orbit with $\operatorname{sl}=-1$ binds an adapted open book · Prove2Me