Index - C
| castMonomial | Algebra.Ring.Polynomial.Monomial | 
| changeMonomialOrder | Algebra.Ring.Polynomial.Monomial | 
| changeMonomialOrderProxy | Algebra.Ring.Polynomial.Monomial | 
| cmpAnyMonomial | Algebra.Ring.Polynomial.Monomial | 
| cmpMonomial | Algebra.Ring.Polynomial.Monomial | 
| CmpNat | Algebra.Internal | 
| coeff | Algebra.Ring.Polynomial.Class | 
| coeff' | Algebra.Ring.Polynomial.Class | 
| Coefficient | Algebra.Ring.Polynomial.Class | 
| CoeffRing | Algebra.Ring.Polynomial.Class | 
| coerce | Algebra.Internal | 
| coerceLength | Algebra.Internal | 
| constantTerm | Algebra.Ring.Polynomial.Class | 
| content | Algebra.Ring.Polynomial.Class | 
| convertPolynomial | Algebra.Ring.Polynomial.Class | 
| convertPolynomial' | Algebra.Ring.Polynomial.Class |