أرسل هذا في رسالة قصيرة: Proximal subdifferential of the bilateral minimal time function and some regularity applications