Nuprl - Proof: card void dom fun unit

IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At: card void dom fun unit

A:Type. (

A) ~

By:

Auto

Generated subgoal:

1 1. A : Type
(0A) ~ 1
3 steps

About:

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