P
Initializing...
`BookProof.BrstUnboundedLeakage.truncGen_isSelfAdjoint` : IsSelfAdjoint (truncGen T V hV) · Prove2Me