chore: finish cleanup

fgdorais · fgdorais · commit 1454d070627c · 2026-05-21T07:18:19.000-04:00
diff --git a/UnicodeBasic.lean b/UnicodeBasic.lean
@@ -732,5 +732,3 @@ public def isAlphabetic (char : Char) : Bool :=
 
 @[inherit_doc isAlphabetic]
 public abbrev isAlpha := isAlphabetic
-
-end Unicode
