`BookProof.BrstLeakage.norm_flow_sub_flow_le` {A B : E →L[ℂ] E} (hA : IsSelfAdjoint A) (hB : IsSelfAdjoint B) (t : ℝ) (ht : 0 ≤ t) : ‖flow A t - flow B t‖ ≤ ‖A

Initializing...

`BookProof.BrstLeakage.norm_flow_sub_flow_le` {A B : E →L[ℂ] E} (hA : IsSelfAdjoint A) (hB : IsSelfAdjoint B) (t : ℝ) (ht : 0 ≤ t) : ‖flow A t - flow B t‖ ≤ ‖A - B‖ * t · Prove2Me