| MaxNatural | |
| 1 (Type/Class) | Math.NumberTheory.ArithmeticFunctions.Inverse |
| 2 (Data Constructor) | Math.NumberTheory.ArithmeticFunctions.Inverse |
| MaxWord | |
| 1 (Type/Class) | Math.NumberTheory.ArithmeticFunctions.Inverse |
| 2 (Data Constructor) | Math.NumberTheory.ArithmeticFunctions.Inverse |
| mertens | Math.NumberTheory.ArithmeticFunctions.Mertens |
| millerRabinV | Math.NumberTheory.Primes.Testing |
| MinNatural | |
| 1 (Type/Class) | Math.NumberTheory.ArithmeticFunctions.Inverse |
| 2 (Data Constructor) | Math.NumberTheory.ArithmeticFunctions.Inverse |
| MinusOne | Math.NumberTheory.Moduli.Jacobi, Math.NumberTheory.Moduli |
| MinWord | |
| 1 (Type/Class) | Math.NumberTheory.ArithmeticFunctions.Inverse |
| 2 (Data Constructor) | Math.NumberTheory.ArithmeticFunctions.Inverse |
| Mod | Math.NumberTheory.Moduli.Class, Math.NumberTheory.Moduli |
| mod | Math.NumberTheory.Euclidean |
| modulo | Math.NumberTheory.Moduli.Class, Math.NumberTheory.Moduli |
| Moebius | Math.NumberTheory.ArithmeticFunctions.Moebius, Math.NumberTheory.ArithmeticFunctions |
| moebius | Math.NumberTheory.ArithmeticFunctions |
| moebiusA | Math.NumberTheory.ArithmeticFunctions |
| MoebiusN | Math.NumberTheory.ArithmeticFunctions.Moebius, Math.NumberTheory.ArithmeticFunctions |
| MoebiusP | Math.NumberTheory.ArithmeticFunctions.Moebius, Math.NumberTheory.ArithmeticFunctions |
| MoebiusZ | Math.NumberTheory.ArithmeticFunctions.Moebius, Math.NumberTheory.ArithmeticFunctions |
| montgomeryFactorisation | Math.NumberTheory.Primes.Factorisation |
| multElement | Math.NumberTheory.Moduli.Class, Math.NumberTheory.Moduli |
| multiplicative | Math.NumberTheory.ArithmeticFunctions |
| multiplicativeSieveBlockConfig | Math.NumberTheory.ArithmeticFunctions.SieveBlock |
| multiply | Math.NumberTheory.Curves.Montgomery |
| MultMod | Math.NumberTheory.Moduli.Class, Math.NumberTheory.Moduli |