Theorem 1.7 (necessity): a binding of a disk-like global section is unknotted with $\operatorname{sl}=-1$

Initializing...

Theorem 1.7 (necessity): a binding of a disk-like global section is unknotted with $\operatorname{sl}=-1$ · Prove2Me