Fix Cslib.lean

Author: Shreyas4991

Cslib.lean

@@ -4,7 +4,6 @@ public import Cslib.AlgorithmsTheory.Algorithms.ListInsertionSort
 public import Cslib.AlgorithmsTheory.Algorithms.ListLinearSearch
 public import Cslib.AlgorithmsTheory.Algorithms.ListOrderedInsert
 public import Cslib.AlgorithmsTheory.Algorithms.MergeSort
-public import Cslib.AlgorithmsTheory.Algorithms.SingletapeTMAlgorithms.Basics
 public import Cslib.AlgorithmsTheory.Lean.MergeSort.MergeSort
 public import Cslib.AlgorithmsTheory.Lean.TimeM
 public import Cslib.AlgorithmsTheory.LowerBounds.ComparisonSort