Theorem Nat.not_mem_bitIndices_self

Modification history

2025-05-25 12:30
Mathlib/Data/Nat/BitIndices.lean
chore(*): not_mem/nmem -> notMem (#25159)
Deleted Nat.not_mem_bitIndices_selfView 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.not_mem_bitIndices_selfView on Github →