mathlib

2811f95a - closing continuity of delayed