`BookProof.ChapterParityHypercharge.hyperPhase_add` (θ φ : ℝ) : hyperPhase θ * hyperPhase φ = hyperPhase (θ + φ)

Initializing...

`BookProof.ChapterParityHypercharge.hyperPhase_add` (θ φ : ℝ) : hyperPhase θ * hyperPhase φ = hyperPhase (θ + φ) · Prove2Me