Theorem Mathlib.Tactic.Ring.mul_zero

Modification history