Nuprl - Definition of union1 term1

	No mentions to report in SUPPORTjlc

union1_term1	`Def union1_term1(x) == inl(x)`

	`Thm* x:. union1_term1(x) union1()`

About: