Exercise algebra.equations.coverup

Description
solve an equation by covering up

Firsts

• Rule	algebra.equations.coverup.times
  Location	[]
  Term	"Just (TCon relation1.eq [TCon arith1.minus [TNum 5,TVar \"x\"],TNum 7])"
  Focus	"Just (TCon relation1.eq [TCon arith1.minus [TNum 5,TVar \"x\"],TNum 7])"
  Environment

  

  5-x == 7

  ready: no