Idris2Doc : Algebra.Solver.Ring

Algebra.Solver.Ring

(source)
Reexports
import public Algebra.Ring
import public Algebra.Solver.Ring.Expr
import public Algebra.Solver.Ring.Prod
import public Algebra.Solver.Ring.SolvableRing
import public Algebra.Solver.Ring.Sum