compose_fraction

proveit.numbers.compose_fraction(numerator, denominator)[source]

Return the expression representing a fraction making obvious simplifications if the denominator is one or if either/both the numerator/denominator are fractions.