Index - T
| Term | Algebra.Ring.Polynomial.Class | 
| terms | Algebra.Ring.Polynomial.Class | 
| terms' | Algebra.Ring.Polynomial.Class | 
| toIdeal | Algebra.Ring.Ideal | 
| toNatural | Algebra.Internal | 
| toPolynomial | Algebra.Ring.Polynomial.Class | 
| toPolynomial' | Algebra.Ring.Polynomial.Class | 
| toProxy | Algebra.Internal | 
| toSing | Algebra.Internal | 
| toSomeSNat | Algebra.Internal | 
| totalDegree | Algebra.Ring.Polynomial.Monomial | 
| totalDegree' | Algebra.Ring.Polynomial.Class | 
| tryDiv | Algebra.Ring.Polynomial.Monomial |