`BookProof.BrstLeakage.norm_flow_apply` {A : E →L[ℂ] E} (hA : IsSelfAdjoint A) (t : ℝ) (x : E) : ‖flow A t x‖ = ‖x‖

Initializing...

`BookProof.BrstLeakage.norm_flow_apply` {A : E →L[ℂ] E} (hA : IsSelfAdjoint A) (t : ℝ) (x : E) : ‖flow A t x‖ = ‖x‖ · Prove2Me