Theorem Num.castNum_testBit

Modification history

2023-10-19 09:56
Mathlib/Data/Num/Lemmas.lean
chore(Data/Num/Lemmas): fix lemma names (#7758)
Added Num.castNum_testBitView on Github →