Doubly slice knot (source code)

= Doubly slice knot

A knot is doubly slice when it is the equatorial cross-section of an unknotted smooth two-sphere in $S^4$.