`BookProof.NonnegSemigroup.isSelfAdjoint_expNeg` {A : F →L[ℂ] F} (hA : IsSelfAdjoint A) (t : ℝ) : IsSelfAdjoint (expNeg A t)

Initializing...

`BookProof.NonnegSemigroup.isSelfAdjoint_expNeg` {A : F →L[ℂ] F} (hA : IsSelfAdjoint A) (t : ℝ) : IsSelfAdjoint (expNeg A t) · Prove2Me