Theorem Nat.bitIndices_one

Modification history

2024-10-04 03:33
Mathlib/Data/Nat/BitIndices.lean
chore: bump toolchain to v4.13.0-rc2 (#17377) …
Modified Nat.bitIndices_oneView 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.bitIndices_oneView on Github →