chore: fix whitespace

Author: wkrozowski

src/Std/Data/Internal/List/Associative.lean

@@ -15,6 +15,7 @@ public import Init.Data.Order.Ord
 import Init.Data.Subtype.Order
 public import Init.Data.Order.ClassesExtra
 public import Init.Data.Order.LemmasExtra
+
 public section
 
 /-!