Theorem Finset.sum_toFinset_bitIndices_two_pow

Modification history

2026-05-16 00:41
Mathlib/Combinatorics/Colex.lean
feat: add `Nat.mem_bitIndices` lemma and fix naming of surrounding lemmas (#39426) …
Added Finset.sum_toFinset_bitIndices_two_powView on Github →