Commit 2023-02-06 01:55 32965b55

View on Github →

feat: port Topology.Algebra.Order.Archimedean (#2083)

Estimated changes

added theorem Rat.denseRange_cast