the latter is given as an extensional equivalence because it’s a pure mathematical equiv
Epstein Suite indexes the text; the original document lives at its official source. We don't host the original file — view it on the official release to read it in full.
View the original on the official releaseDocument text
Text is machine OCR and may contain errors. Confirm against the original source above.
the latter is given as an extensional equivalence because it’s a pure mathematical equiv-
Have a question about what this document contains?
Ask the documents