Def PosNum.oneBits

Modification history

2023-01-29 16:57
Mathlib/Data/Num/Bitwise.lean
feat: port Data.Num.Bitwise (#1919)
Added PosNum.oneBitsView on Github →