Skip to content

Commit b0c5fc3

Browse files
author
catalan
committed
fix namespace error
1 parent 9e65971 commit b0c5fc3

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

‎FormalConjectures/Other/BeaverMathOlympiad.lean‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -207,4 +207,4 @@ theorem beaver_math_olympiad_problem_5 : answer(sorry) ↔
207207
∃ i, b i = f (a i) - 1 := by
208208
sorry
209209

210-
end BusyBeaverMathOlympiad
210+
end BeaverMathOlympiad

0 commit comments

Comments
 (0)