Zero_Divides_Zero
Proveddivisorsproofwiki
If 0 divides an integer n, then n = 0.
Preamble
import Mathlib.Data.Int.Lemmas
Formal statement
theorem Zero_Divides_Zero (n : ℤ) (h : (0 : ℤ) ∣ n) : n = 0 := by sorry
Source
If 0 divides an integer n, then n = 0.
import Mathlib.Data.Int.Lemmas
theorem Zero_Divides_Zero (n : ℤ) (h : (0 : ℤ) ∣ n) : n = 0 := by sorry