Index - M
| makeFastConvergRealSeq | Data.Number.ER.Real.Approx.Sequence, Data.Number.ER.Real, Data.Number.ER |
| mapFst | Data.Number.ER.Misc |
| mapPair | Data.Number.ER.Misc |
| mapPairHomog | Data.Number.ER.Misc |
| mapSnd | Data.Number.ER.Misc |
| max | Data.Number.ER.Real.Approx.Elementary, Data.Number.ER.Real, Data.Number.ER |
| maxExtensionR2R | Data.Number.ER.Real.Approx, Data.Number.ER.Real, Data.Number.ER |
| min | Data.Number.ER.Real.Approx.Elementary, Data.Number.ER.Real, Data.Number.ER |
| Minus | Data.Number.ER.PlusMinus |
| MinusInfinity | Data.Number.ER.ExtendedInteger |
| minusInfinity | Data.Number.ER.Real.Base |