IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At:
mu-property21 1. b:, f:(). (n:. nb & f(n)) f(mu(f)) & (i:. i<mu(f) f(i))
2. f : 3. n : 4. f(n)
n@0:. n@0n & f(n@0)
By:
InstConcl [n]
Generated subgoals:
None
About:
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
b:
, f:(
). (
n:
b & f(n)) 
f(mu(f)) & (
f(i))
