Index - M
| Max | Data.Type.Natural |
| max | Data.Type.Natural |
| maxComm | Data.Type.Natural |
| maxLeqL | Data.Type.Natural |
| maxLeqR | Data.Type.Natural |
| MaxSym0 | Data.Type.Natural |
| MaxSym1 | Data.Type.Natural |
| MaxSym2 | Data.Type.Natural |
| maxZL | Data.Type.Natural |
| maxZR | Data.Type.Natural |
| Min | Data.Type.Natural |
| min | Data.Type.Natural |
| minComm | Data.Type.Natural |
| minLeqL | Data.Type.Natural |
| minLeqR | Data.Type.Natural |
| MinSym0 | Data.Type.Natural |
| MinSym1 | Data.Type.Natural |
| MinSym2 | Data.Type.Natural |
| minusCongEq | Data.Type.Natural |
| minusNilpotent | Data.Type.Natural |
| multAssociative | Data.Type.Natural |
| multComm | Data.Type.Natural |
| multCongL | Data.Type.Natural |
| multCongR | Data.Type.Natural |
| multOneL | Data.Type.Natural |
| multOneR | Data.Type.Natural |
| multPlusDistr | Data.Type.Natural |
| multZL | Data.Type.Natural |
| multZR | Data.Type.Natural |