a,b:, f:({a..b}), j:{a..b}.
  0<f(j)
  
  is_prime_factorization(a; b; f)
  
  is_prime_factorization(a; b; reduce_factorization(f; j))

1

1. a :  2. b :  3. f : {a..b} 4. j : {a..b} 5. 0<f(j) 6. is_prime_factorization(a; b; f)   is_prime_factorization(a; b; reduce_factorization(f; j))

2 steps

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