@[simp]

theorem Finset.expect_indicator_one {α : Type u_1} {K : Type u_3} [Fintype α] [Semifield K] [CharZero K] (s : Finset α) : (univ.expect fun (x : α) => (↑s).indicator (fun (x : α) => 1) x) = ↑s.dens