Theorem Mathlib.Tactic.Ring.cast_neg

Modification history