lean_workbook_plus_26507
ProvedProve that for all without using the distributive property.
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_26507 (x : ℝ) : 0 * x = 0 := by sorry
Source
Prove that for all without using the distributive property.
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_26507 (x : ℝ) : 0 * x = 0 := by sorry