Index
Exercises
Services
Exercise
information
strategy
rules
examples
derivations
test report
Exercise arithmetic.fractions.liberal
Description
simplify fractions liberally
Firsts
Rule
algebra.manipulation.simpler-fraction
Location
[]
Term
"Just (TNum 1)"
Focus
"Just (TNum 1)"
Environment
1
ready: yes