Index - L
| lcmMonomial | Algebra.Ring.Polynomial.Monomial | 
| leadingCoeff | Algebra.Ring.Polynomial.Class | 
| leadingMonomial | Algebra.Ring.Polynomial.Class | 
| leadingTerm | Algebra.Ring.Polynomial.Class | 
| Lex | |
| 1 (Type/Class) | Algebra.Ring.Polynomial.Monomial | 
| 2 (Data Constructor) | Algebra.Ring.Polynomial.Monomial | 
| lex | Algebra.Ring.Polynomial.Monomial | 
| liftMap | Algebra.Ring.Polynomial.Class | 
| liftMapCoeff | Algebra.Ring.Polynomial.Class | 
| liftNorm | Algebra.Normed | 
| Log2 | Algebra.Internal |