add license and author

MoritzBeroRoos · MoritzBeroRoos · commit 0c1ef19c21fb · 2026-03-20T02:57:22.000+01:00
diff --git a/Batteries/CodeAction/Match.lean b/Batteries/CodeAction/Match.lean
@@ -1,3 +1,8 @@
+/-
+Copyright (c) 2026 Moritz Roos. All rights reserved.
+Released under Apache 2.0 license as described in the file LICENSE.
+Authors: Moritz Roos
+-/
 module
 
 public meta import Batteries.CodeAction.Misc
