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 gebner@gebner.org
feat(data/nat/basic): simp-lemmas for bit0 and bit1 mod two (#4343) Co-Authored-By: Gabriel Ebner gebner@gebner.org