`BookProof.CarlemanUnboundedHop.geoHop_herm` (b : ℕ → ℝ) (rho : ℝ) : IsHermitianKernel (geoHop b rho)

Initializing...

`BookProof.CarlemanUnboundedHop.geoHop_herm` (b : ℕ → ℝ) (rho : ℝ) : IsHermitianKernel (geoHop b rho) · Prove2Me