Reminder: no Math WG meeting this week

Two more weeks off...

Received on Wednesday, 7 June 2023 20:58:13 UTC