Idris2Doc : Data.Nat.Order.Strict

Data.Nat.Order.Strict

decLT : (a : Nat) -> (b : Nat) -> DecOrderingab
irreflexiveLTE : (a : Nat) -> Not (LTaa)