Theorem List.toFinsupp_support_subset

Modification history

2026-04-10 17:41
Mathlib/Data/List/ToFinsupp.lean
feat(Data/Nat/Choose/Multinomial): multinomial coefficients (#35830) …
Added List.toFinsupp_support_subsetView on Github →