frac

proveit.numbers.frac(numer, denom)[source]