Nuprl - Proof: fin card vs nat eq

IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At: fin card vs nat eq

a,b:

. (

a ~

a = b

By:

Auto

Generated subgoals:

1 1. a :
2. b :
3. a ~ b
a = b
1 step

2 1. a :
2. b :
3. a = b
a ~ b
2 steps

About:

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

1	1. a : 2. b : 3. a ~ b a = b	1 step
2	1. a : 2. b : 3. a = b a ~ b	2 steps