Dini continuity (source code)

= Dini continuity
{wiki=Dini_continuity}