P
Initializing...
`BookProof.ChapterA.Plin_add_Qanti` (S : V →L[ℝ] V) : Plin S + Qanti S = S · Prove2Me