Theorem Mathlib.Tactic.Ring.cast_zero

Modification history