Nuprl - SimpleMulFacts LEMMAs for no_prime_divs_one_b

SimpleMulFacts Sections DiscrMathExt Doc

IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html

Rank	Theorem	Name
12	Thm* b:. prime(b) b \| 1	[no_prime_divs_one_b]
cites the following:
11	Thm* b:. b \| 1 prime(b)	[no_nat_prime_divs_one]

IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html

SimpleMulFacts Sections DiscrMathExt Doc