Nuprl - DiscreteMath LEMMAs for comp_preserves

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

Theorem	Name
Thm* Bij(A; B; g) Bij(B; C; f) Bij(A; C; f o g)	[comp_preserves_bij]
cites the following:
Thm* Surj(A; B; g) Surj(B; C; f) Surj(A; C; f o g)	[comp_preserves_surj]
Thm* Inj(A; B; g) Inj(B; C; f) Inj(A; C; f o g)	[comp_preserves_inj]

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