theorem Rings.zero_eq_one_of_zero_isUnit (R : Type u_1) [Ring R] (h : IsUnit 0) : 0 = 1