P
Initializing...
Proposition 3.7.4 (encoding and decoding are mutually inverse) · Prove2Me