A,B,C:Type, f:(AB), g:(BC), as:A List. map(g;map(f;as)) = map(g o f;as)

1

1. A : Type 2. B : Type 3. C : Type 4. f : AB 5. g : BC 6. as : A List   map(g;map(f;as)) = map(g o f;as)

3 steps

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