[MySQL] 週の頭を算出する式

月曜を週の頭として、たとえば、今日は7/16(木)ですが、7/13(月)を取得する式。

WEEKDAY関数を使うと「月曜から数えて何日目?」が分かるので、今日の日付からその何日目を引くと月曜の日付になるわけですね。