Theorem Mathlib.Tactic.Ring.smul_nat

Modification history