User:Snittle timberry/sandbox

Arveson's distance formula is a result in functional analysis which gives the distance to a nest algebra.