IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At:
iter prod zero iff factor zero12 1. a :
2. b:, e:({a..b}).
2. ab (( i:{a..b}. e(i)) = 0 (Or i:{a..b}. e(i) = 0))
3. b :
4. e : {a..b}
( i:{a..b}. e(i)) = 0 (Or i:{a..b}. e(i) = 0)