Theorem Mathlib.Tactic.FieldSimp.NF.cons_ne_zero

Modification history