Doubly slice knot (source code)

= Doubly slice knot
{wiki=Slice_knot#Doubly_slice_knots}

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