Theorem Finsupp.ofSupportFinite_fin_two_eq

Modification history

2025-10-25 08:12
Mathlib/Algebra/BigOperators/Finsupp/Fin.lean
feat(Algebra/BigOperators/Finsupp/Fin): add finTwoArrowEquiv (#30538) …
Added Finsupp.ofSupportFinite_fin_two_eqView on Github →