The pathwise C0C^0C0-Flux conjecture for Hamiltonian isotopies
Pathwise C0C^0C0-Flux conjecture. PHam(M)PHam(M)PHam(M) is C0C^0C0-closed in PSymp(M)PSymp(M)PSymp(M).