Add more Data.Rational.Properties#2996

kleinreact wants to merge 1 commit into

agda:masteragda/agda-stdlib:masterfrom

kleinreact:more-rational-propertieskleinreact/agda-stdlib:more-rational-propertiesCopy head branch name to clipboard