P
Initializing...
Small push-offs of a framed loop in $S^3$ along its frame miss the loop (tube lemma) · Prove2Me