rel
1
Sections
StandardLIB
Doc
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
This lemma is useful for quickly proving functionalitylemmas for equivalence relations.
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
rel
1
Sections
StandardLIB
Doc