Theorem finTwoArrowEquiv'_sum_eq

Modification history

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