Slight style tweaks

Changes

1 changed files (+1/-1)

• Velvet.lean
  • @@ -7,7 +7,7 @@ set_option loom.semantics.choice "demonic"
    attribute [grind] Array.multiset_swap - method insertionSort_total (mut arr: Array Int) return (u: Unit) + method insertionSort_total (mut arr : Array ℤ) return (u : Unit) require 1 ≤ arr.size ensures ∀ i j, 0 ≤ i ∧ i ≤ j ∧ j < arr.size → arr[i]! ≤ arr[j]! ensures arrOld.toMultiset = arr.toMultiset