chore: move file to omega1

leanprover · Oct 8, 2024 · 5eaf27f · 5eaf27f
1 parent 46a6af8
commit 5eaf27f
Showing 1 changed file with 0 additions and 0 deletions.
diff --git a/tests/bench/omega/oemga1.lean → tests/bench/omega/omega1.lean b/tests/bench/omega/oemga1.lean → tests/bench/omega/omega1.lean