Theorem Finsupp.cons_right_injective

Modification history

2024-11-25 18:11
Mathlib/Data/Finsupp/Fin.lean
feat(MvPolynomial): more lemmas about `finSuccEquiv` (#19201)
Added Finsupp.cons_right_injectiveView on Github →