P
Initializing...
`BookProof.ChapterF7.l2pair_add_right` (f gβ gβ : π’(β, β)) : l2pair f (gβ + gβ) = l2pair f gβ + l2pair f gβ Β· Prove2Me