Slice disk (source code)

= Slice disk

A slice disk is a smooth proper embedding $D^2\hookrightarrow B^4$ whose boundary is the knot in $S^3=\partial B^4$.