Zulip Chat Archive
Stream: general
Topic: to_additive and get_param
Yury G. Kudryashov (May 16 2020 at 03:46):
@Gabriel Ebner Could you please have a look at algebra/group/to_additive? Which uses of get_param can/should be eliminated?
Last updated: Dec 20 2023 at 11:08 UTC