PRF ⇒ iPRF

A PRF implies an invertible PRF.

Statement

Migrated verbatim from PRF § Related results:

PRFs imply the existence of iPRFs — HPPY25

Notes

No construction sketch travelled with this claim; see HPPY25 for the construction.

The conclusion invertible-prf is a variant declared on PRF, not a page of its own — the iPRF is defined there under Variations. Before this pass, iPRF was an alias of the PRF page, which made this edge a self-loop from prf to prf.