Remove unnecessary lines in Sort.lean

Changes

1 changed files (+0/-2)

• Sort.lean
  • @@ -53,8 +53,6 @@ theorem sorted : ICan'tBelieveItCanSort A |>.Pairwise (· ≤ ·) := by
    simp_all constructor · rw [Array.pairwise_iff_getElem] at h_5 ⊢ - intro i j hi hj hij - simp grind · grind case vc2.step.isFalse => grind