Theorem Nat.sum_map_two_pow_bitIndices

Modification history

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