lean_workbook_plus_17384
ProvedMultiplication of two numbers using Vedic math:
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_17384 : 8 * 7 = 56 := by sorry
Source
Multiplication of two numbers using Vedic math:
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_17384 : 8 * 7 = 56 := by sorry