DiscreteMath
Sections
DiscrMathExt
Doc
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
Theorem
Name
Thm*
f
:(
B
onto
C
),
g
:(
A
onto
B
).
f
o
g
A
onto
C
[compose_wf_surj]
cites the following:
Thm*
Surj(
A
;
B
;
g
)
Surj(
B
;
C
;
f
)
Surj(
A
;
C
;
f
o
g
)
[comp_preserves_surj]
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
DiscreteMath
Sections
DiscrMathExt
Doc
f:(B onto
C), g:(A onto B). f o g 
A onto C
Surj(B; C; f) Surj(A; C; f o g)f:(B onto C), g:(A onto B). f o g A onto C Surj(B; C; f) Surj(A; C; f o g)