IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At:
fta mset11 1. n : {1...}
2. f : Prime 3. f is a factorization of n 4. g : Prime 5. g is a factorization of n g = f
By:
Inst:
Thm*n:, f,g:(Prime).
Thm* f is a factorization of ng is a factorization of nf = g Using:[n | f | g]
Generated subgoals:
None
About:
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
g = f
n:
g is a factorization of n 
