Index - L
| Less | Data.Order |
| less | Data.Number.MPFR, Data.Number.Dyadic |
| lesseq | Data.Number.MPFR, Data.Number.Dyadic |
| lim | Data.Number.Real |
| limRat | Data.Number.Real |
| limRec | Data.Number.Real |
| log | |
| 1 (Function) | Data.Number.MPFR, Data.Number.Dyadic |
| 2 (Function) | Data.Number.Ball |
| 3 (Function) | Data.Number.DyadicInterval |
| 4 (Function) | Data.Number.Real |
| log10 | Data.Number.MPFR, Data.Number.Dyadic |
| log10_ | Data.Number.MPFR, Data.Number.Dyadic |
| log2 | Data.Number.MPFR, Data.Number.Dyadic |
| log2c | Data.Number.MPFR, Data.Number.Dyadic |
| log2c_ | Data.Number.MPFR, Data.Number.Dyadic |
| log2_ | Data.Number.MPFR, Data.Number.Dyadic |
| log_ | Data.Number.MPFR, Data.Number.Dyadic |
| lower | |
| 1 (Function) | Data.Number.Ball |
| 2 (Function) | Data.Number.DyadicInterval |
| lower_ | Data.Number.Ball |