Commit 2023-10-19 09:56 311c20be

View on Github →

chore(Data/Num/Lemmas): fix lemma names (#7758)

Estimated changes

deleted theorem Num.bitwise_to_nat
added theorem Num.castNum_and
added theorem Num.castNum_eq_bitwise
added theorem Num.castNum_ldiff
added theorem Num.castNum_or
added theorem Num.castNum_shiftLeft
added theorem Num.castNum_shiftRight
added theorem Num.castNum_testBit
added theorem Num.castNum_xor
deleted theorem Num.land_to_nat
deleted theorem Num.ldiff_to_nat
deleted theorem Num.lor_to_nat
deleted theorem Num.lxor_to_nat
deleted theorem Num.shiftl_to_nat
deleted theorem Num.shiftr_to_nat
deleted theorem Num.testBit_to_nat