Theorem Nat.bitIndices_sum_map_two_pow

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.bitIndices_sum_map_two_powView on Github →