add license header

leanprover · Jan 31, 2025 · 938e893 · 938e893
1 parent ce122f9
commit 938e893
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/tests/lean/run/as_aux_lemma.lean b/tests/lean/run/as_aux_lemma.lean
@@ -1,3 +1,8 @@
+/-
+Copyright (c) 2025 Lean FRO, LLC. All rights reserved.
+Released under Apache 2.0 license as described in the file LICENSE.
+Authors: Paul Reichert
+-/
 import Lean.Environment
 import Lean.Meta.Basic
 import Lean.Util.NumObjs