Theorem Mathlib.Tactic.Ring.mul_congr

Modification history