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