Idris2Doc : Data.Fin.Order

Data.Fin.Order

FinLTE : Fink -> Fink -> Type
Totality: total
Constructor: 
FromNatPrf : LTE (finToNatm) (finToNatn) -> FinLTEmn