Zulip Chat Archive
Stream: new members
Topic: How to prove `¬ (↑(list.length l) + 1) = (0 : rat)`?
Marko Grdinić (Oct 15 2019 at 13:05):
I am having difficulty figuring out how to approach this.
Rob Lewis (Oct 15 2019 at 13:08):
by norm_cast; simp
Marko Grdinić (Oct 15 2019 at 13:17):
Thank you.
Last updated: Dec 20 2023 at 11:08 UTC