P
Initializing...
Eq. (9.7) — Lagrange identity on $\mathfrak{D}(\tau)$ · Prove2Me