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: May 02 2025 at 03:31 UTC