`BookProof.WeylHamiltonian.weylHamiltonian_isSelfAdjoint` {n m : ℕ} (π : Fin n → H →L[ℂ] H) (B : Fin m → H →L[ℂ] H) (hπ : ∀ i, IsSelfAdjoint (π i)) (hB : ∀ a, IsSelfAdjoint (B a))

Initializing...

`BookProof.WeylHamiltonian.weylHamiltonian_isSelfAdjoint` {n m : ℕ} (π : Fin n → H →L[ℂ] H) (B : Fin m → H →L[ℂ] H) (hπ : ∀ i, IsSelfAdjoint (π i)) (hB : ∀ a, IsSelfAdjoint (B a)) · Prove2Me