Theorem Nat.two_pow_le_of_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) …
Modified Nat.two_pow_le_of_mem_bitIndicesView on Github →
2025-12-23 19:14
Mathlib/Data/Nat/BitIndices.lean
fix: whitespace formatting (#33234) …
Modified Nat.two_pow_le_of_mem_bitIndicesView on Github →
2024-07-15 14:00
Mathlib/Data/Nat/BitIndices.lean
feat(Combinatorics/Colex): binary expansions give the colexicographic order on `Finset Nat` (#12346) …
Added Nat.two_pow_le_of_mem_bitIndicesView on Github →