Zulip Chat Archive

Stream: kbb

merging into mathlib (32 messages, latest: Sep 28 2018 at 09:08)
hello (239 messages, latest: Sep 22 2018 at 11:37)
sine and cosine and pi (282 messages, latest: Sep 20 2018 at 23:13)
splitting fields (97 messages, latest: Sep 19 2018 at 18:41)
hecke operator (168 messages, latest: Sep 19 2018 at 11:05)
fin cases bashing (1 message, latest: Sep 18 2018 at 12:22)
PRing (11 messages, latest: Sep 17 2018 at 11:46)
fin2.rec (2 messages, latest: Sep 16 2018 at 05:00)
SL2Z action (82 messages, latest: Sep 15 2018 at 04:50)
generators (231 messages, latest: Sep 14 2018 at 19:10)
notation for group action (4 messages, latest: Sep 14 2018 at 05:33)
fourier series (3 messages, latest: Sep 12 2018 at 19:20)
SL2Z (1 message, latest: Sep 12 2018 at 02:28)

Last updated: Dec 20 2023 at 11:08 UTC