a,b:, f:({a..b}), x:{a..b}. complete_intseg_mset(a; b; f)(x) = f(x)

1

1. a :  2. b :  3. f : {a..b} 4. x : {a..b}   complete_intseg_mset(a; b; f)(x) = f(x)

3 steps

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