Nuprl - Proof: card0 iff uninhabited 1 1 1

IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At: card0 iff uninhabited 1 1 1

1. A : Type
2. f : A

0
3.

g:(

A). InvFuns(A;

0;f;g)
4.

False

By:

Analyze2

Generated subgoals:

None

About:

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