undefined | Better HN

0 pointsfxwin5mo ago0 comments

I could agree with that, but the example on p29 (Claim 6) ends with QED, but only then the proof follows. I realize I'm nitpicking form here, but still

0 comments

dxtrous5mo ago

Well spotted. Thank you!

j / k navigate · click thread line to collapse

0 pointsfxwin5mo ago0 comments

I could agree with that, but the example on p29 (Claim 6) ends with QED, but only then the proof follows. I realize I'm nitpicking form here, but still

0 comments

dxtrous5mo ago

Well spotted. Thank you!

j / k navigate · click thread line to collapse