أرسل هذا في رسالة قصيرة: Semiconcavity of the bilateral minimal time function