law sorted_nil
import bend-mathlib@0.8.1.0/list.bend as Listimport Base
811# The empty Nat list is sorted by Nat.is_le.
812law sorted_nil:
813 sorted_by(~Nat, ~Nat.is_le, Nil{})
Uses (4)
Used by (0)
No other definition uses this definition.
import bend-mathlib@0.8.1.0/list.bend as Listimport Base
811# The empty Nat list is sorted by Nat.is_le.
812law sorted_nil:
813 sorted_by(~Nat, ~Nat.is_le, Nil{})
No other definition uses this definition.