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