Theorem: Int.zero_of_twice_zero (UnitConjecture/TorsionFree.lean)

State before:
⊢ ∀ (a : ℤ), a + a = 0 → a = 0
Tactic:
simp
State after:
no goals