Def Num.lor

Modification history

2023-10-12 12:34

Mathlib/Data/Num/Bitwise.lean

feat(Data/Num): use bitwise notation (#7593) …

Deleted Num.lor View on Github →

2023-01-29 16:57

Mathlib/Data/Num/Bitwise.lean

feat: port Data.Num.Bitwise (#1919)

Added Num.lor View on Github →