P
Initializing...
Finite-energy cylinders with vanishing $d\lambda$-energy are trivial cylinders · Prove2Me