Zulip Chat Archive

Stream: kbb

Topic: fin2.rec

Kenny Lau (Sep 16 2018 at 04:59):

@Scott Morrison

Kenny Lau (Sep 16 2018 at 05:00):

https://github.com/semorrison/kbb/blame/master/src/modular_group.lean#L76-L80

Last updated: Dec 20 2023 at 11:08 UTC