Prove-It icon indicating copy to clipboard operation
Prove-It copied to clipboard

Published 20 hours ago • verified publisher icon sandialabs

sqrt(2) not rational proof dependencies (don't involve real/complex)

Open wwitzel opened this issue 3 years ago • 0 comments
trafficstars

wwitzel avatar Sep 18 '22 16:09 wwitzel