Theorem Mathlib.Tactic.Ring.nsmul_congr

Modification history