P
Initializing...
`BookProof.ChapterWeylSl2.Sl2Rep.apply_H_F` (v : V) : R.H (R.F v) = R.F (R.H v) - 2 • R.F v · Prove2Me