Index
Exercises
Services
Exercise
information
strategy
rules
examples
derivations
test report
Exercise algebra.inequalities.quadratic
Description
solve a quadratic inequation
Firsts
Rule
quadraticinequality.exit
Location
[]
Term
"Just (TCon logic1.true [])"
Focus
"Just (TCon logic1.true [])"
Environment
true
ready: yes