Commit 2020-10-01 14:28 f10dda05
View on Github →feat(data/nat/basic): simp-lemmas for bit0 and bit1 mod two (#4343) Co-Authored-By: Gabriel Ebner [email protected]
feat(data/nat/basic): simp-lemmas for bit0 and bit1 mod two (#4343) Co-Authored-By: Gabriel Ebner [email protected]