theorem isSelfAdjoint_indicator_one {α : Type u_2} {R : Type u_3} [Semiring R] [StarRing R] (s : Set α) : IsSelfAdjoint (s.indicator fun (x : α) => 1)