Commit 2022-12-10 16:27 a3dff186
View on Github →feat port: Algebra.Order.Ring.Cone (#935)
10b4e499f43088dd3bb7b5796184ad5216648ab1
No real problems other than the fact that the new autogenerated name for ring.total_positive_cone.to_positive_cone is Ring.TotalPositiveCone.toPositiveCone_1. No idea why there is a _1 at the end.