`BookProof.BrstUnboundedLeakage.restartGen_isSelfAdjoint` (i : ℕ) : IsSelfAdjoint (restartGen T Vs hVs i)

Initializing...

`BookProof.BrstUnboundedLeakage.restartGen_isSelfAdjoint` (i : ℕ) : IsSelfAdjoint (restartGen T Vs hVs i) · Prove2Me