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