lean_workbook_plus_49099
ProvedAnother MethodSeeing that , we have . Therefore, our answer is .
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_49099 : (7^2011) % 100 = 43 := by sorry
Source
Another MethodSeeing that , we have . Therefore, our answer is .
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_49099 : (7^2011) % 100 = 43 := by sorry