IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At:
pigeon hole12 1. m : 2. k : 3. f : mk 4. k<m 5. x:m, y:x. f(x) = f(y)
x,y:m. xy & f(x) = f(y)
By:
SimilarTo: -1
Generated subgoals:
None
About:
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
x:
y & f(x) = f(y)
