Theorem Mathlib.Tactic.Ring.nat_cast_mul

Modification history