P
Initializing...
The Hofer energy of a nonconstant finite-energy plane equals its $d\lambda$-energy · Prove2Me