`BookProof.BrstUnboundedLeakage.proj_mul_truncGen` : projOp V * truncGen T V hV = truncGen T V hV

Initializing...

`BookProof.BrstUnboundedLeakage.proj_mul_truncGen` : projOp V * truncGen T V hV = truncGen T V hV · Prove2Me