Secure Messaging

7.3. PRF-PRNG from PRP and PRG🔗

Definition7.3.1
group
Statement uses 2
Statement dependency previews
Preview
Definition 7.1.1
Loading preview
Statement dependency preview content is loaded from the rendered-fragment cache.
used by 1XL∃∀N
GitHub#36

\todo

LeanLean anchor pending
Theorem7.3.2
group
Statement uses 4
Statement dependency previews
Preview
Definition 7.1.1
Loading preview
Statement dependency preview content is loaded from the rendered-fragment cache.
used by 0XL∃∀N
GitHub#37

\todo

LeanLean anchor pending

References: