def internal_sort_nat_test

bend-mathlib@0.8.1.0 · perm.bend:253

import Base

253def internal_sort_nat_test() -> {sort_by(~Nat, ~Nat.is_le, [5n, 1n, 4n, 2n, 3n, 1n]) == [1n, 1n, 2n, 3n, 4n, 5n] : List<&2, Nat>}:
254  {==}