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: May 02 2025 at 03:31 UTC