Index - N
| Nat | Data.Type.Natural, Data.Type.Natural.Builtin |
| naturalToOrd | Data.Type.Ordinal, Data.Type.Ordinal.Builtin |
| naturalToOrd' | Data.Type.Ordinal, Data.Type.Ordinal.Builtin |
| natVal | Data.Type.Natural, Data.Type.Natural.Builtin |
| natVal' | Data.Type.Natural, Data.Type.Natural.Builtin |
| NonEqual | Data.Type.Natural, Data.Type.Natural.Builtin |
| notLeqToLeq | Data.Type.Natural.Lemma.Order |