P
Initializing...
Proposition 3.6(3), p. 12 — Jacobi identity of the hemi-bracket · Prove2Me