lean_workbook_plus_15976
ProvedSolve for in the equation
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_15976 (a : ℝ) : 2021 = 3 * a ↔ a = 2021/3 := by sorry
Source
Solve for in the equation
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_15976 (a : ℝ) : 2021 = 3 * a ↔ a = 2021/3 := by sorry