`BookProof.NonnegSemigroup.isSelfAdjoint_approxS` (hT : IsNonnegSelfAdjoint T) (n : ℕ) (t : ℝ) : IsSelfAdjoint (approxS hT n t)

Initializing...

`BookProof.NonnegSemigroup.isSelfAdjoint_approxS` (hT : IsNonnegSelfAdjoint T) (n : ℕ) (t : ℝ) : IsSelfAdjoint (approxS hT n t) · Prove2Me