Theorem Mathlib.Tactic.Ring.nat_cast_zero

Modification history