Theorem Finsupp.cons_ne_zero_of_left

Modification history

2023-01-28 07:25
Mathlib/Data/Finsupp/Fin.lean
feat: Port/Data.Finsupp.Fin (#1895) …
Added Finsupp.cons_ne_zero_of_leftView on Github →