IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At:
sq stable is prime factorization a,b:, f:({a..b}). SqStable(is_prime_factorization(a; b; f))
By:
Def of is_prime_factorization(a; b; f)
Generated subgoals:
None
About:
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
a,b:
, f:({a..b
}
). SqStable(is_prime_factorization(a; b; f))
