Proof of equality that Quo rationals are cubically equal to Rationals#1298

mortberg merged 3 commits intoagda:masteragda/cubical:masterfrom

reswatson:masterreswatson/cubicalextras:masterCopy head branch name to clipboard