Commit 2023-02-11 19:21 b8109a5e

View on Github →

feat Port Data.Rat.Denumerable (#2197)

Estimated changes

added theorem Cardinal.mkRat