Mathlib Changelog
v4
Changelog
About
Github
Theorem
Num.shiftl_eq_shiftLeft
Modification history
2023-10-12 12:34
Mathlib/Data/Num/Bitwise.lean
feat(Data/Num): use bitwise notation (#7593) …
Added
Num.shiftl_eq_shiftLeft
View on Github →