Zulip Chat Archive
Stream: PR reviews
Topic: refactoring PRs in algebra/
Scott Morrison (Nov 14 2022 at 09:24):
Scott Morrison (Nov 14 2022 at 09:25):
Scott Morrison (Nov 14 2022 at 09:25):
Scott Morrison (Nov 14 2022 at 09:25):
are some simple refactors low down in algebra, making some further reduction on the path to linear_ordered_field Q.
Last updated: Dec 20 2023 at 11:08 UTC