`BookProof.Howland.howland_neg` (hU : IsPropagator U) (σ : ℝ) (ψ : ℝ → H) : howland U (-σ) (howland U σ ψ) = ψ

Initializing...

`BookProof.Howland.howland_neg` (hU : IsPropagator U) (σ : ℝ) (ψ : ℝ → H) : howland U (-σ) (howland U σ ψ) = ψ · Prove2Me