Index - C
| CmpNat | Data.Type.Natural, Data.Type.Natural.Builtin |
| cmpSucc | Data.Type.Natural.Lemma.Order |
| cmpSuccStepR | Data.Type.Natural.Lemma.Order |
| cmpSuccZeroGT | Data.Type.Natural.Lemma.Order |
| cmpZero | Data.Type.Natural.Lemma.Order |
| cmpZero' | Data.Type.Natural.Lemma.Order |
| coerceLeqL | Data.Type.Natural.Lemma.Order |
| coerceLeqR | Data.Type.Natural.Lemma.Order |
| compareCongR | Data.Type.Natural.Lemma.Order |
| congFlipOrdering | Data.Type.Natural.Lemma.Order |