[ refactor ] remove last uses of inspect in Data.Rational.Unnormalised.Properties#2926

jamesmckinna merged 1 commit intoagda:masteragda/agda-stdlib:masterfrom

jamesmckinna:inspect-rationalsjamesmckinna/agda-stdlib:inspect-rationalsCopy head branch name to clipboard