mathematics 2020-09-01

@seancorfield has joined the channel

@logbot has joined the channel