Theorem: BrownCs22.Int.modEq_zero_fac (BrownCs22/Library/ModEq/Lemmas.lean)

State before:
n t : ℤ
⊢ 0 - n * t = n * -t
Tactic:
ring
State after:
no goals