Default time (source code)

= Default time
{title2=$\tau$}

The random time at which <credit default> occurs. In an observed default model it is a <stopping time> for the market <filtration>.