Index - F
| flipCmpNat | Data.Type.Natural.Lemma.Order |
| FlipOrdering | Data.Type.Natural.Lemma.Order, Data.Type.Natural, Data.Type.Natural.Builtin |
| fromLeqView | Data.Type.Natural.Lemma.Order |
| fromOrderingI | Data.Type.Natural, Data.Type.Natural.Builtin |
| fromSNat | Data.Type.Natural, Data.Type.Natural.Builtin |