`BookProof.BrstLeakage.flow_mem_unitary` {A : E →L[ℂ] E} (hA : IsSelfAdjoint A) (t : ℝ) : flow A t ∈ unitary (E →L[ℂ] E)

Initializing...

`BookProof.BrstLeakage.flow_mem_unitary` {A : E →L[ℂ] E} (hA : IsSelfAdjoint A) (t : ℝ) : flow A t ∈ unitary (E →L[ℂ] E) · Prove2Me