Nuprl - Proof: card st sized bool 1 1

IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At: card st sized bool 1 1

1. k :

2. a :

3. p :

size(

a)(p) = k

(

size(

a)(p)) ~

By:	Rewrite by Hyp:4

Generated subgoals:

None

About:

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