Mathlib Changelog
v4
Changelog
About
Github
Commit
2023-03-16 02:45
59b0a41e
View on Github →
refactor: Add a new theorem for
PosNum.shiftl
(
#2783
)
Estimated changes
Modified
Mathlib/Data/Num/Bitwise.lean
added
theorem
PosNum.shiftl_succ_eq_bit0_shiftl