Theorem Mathlib.Tactic.Ring.smul_eq_cast

Modification history