Theorem Mathlib.Tactic.Zify.nat_cast_ne

Modification history