Theorem Nat.mem_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.mem_bitIndicesView on Github →