Stream: new members
Bjørn Kjos-Hanssen (Dec 26 2020 at 23:47):
Is there a way to take an
int and a proof that it's nonnegative and cast it into a
More specifically, if I have natural numbers
n k and a proof of
k+1 \le n, how to prove that
n- (k+1)+1 = n-k?
Rob Lewis (Dec 26 2020 at 23:55):
Bjørn Kjos-Hanssen (Dec 27 2020 at 00:03):
by omega did it!
Last updated: May 13 2021 at 06:15 UTC