1 problem

Nontriviality conjecture. The diffeomorphism $f$ is not smoothly isotopic to the identity. This would provide a potentially nontrivial pseudo-isotopy of $S^4$ arising from the disc…