basic): simp-lemmas for bit0 and bit1 mod two (#4343)

Commit

5 years ago

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

References

Author

jcommelin

Parents