p:
. prime(p) 
(m,n:
. m
m = pnn n = 0)
a = 0 & (a ~ 1) & (b,c:. (a | (bc)) (a | b) 
(a | c))
is mentioned by
| Thm* p:. prime(p) (m,n:. mm = pnn n = 0) | [sqrt_prime_irrational] |
In prior sections: num thy 1
Try larger context:
Graphs