Derived Kunz and Radu--André Theorems

We extend Kunz’s theorem and its relative form, the Radu–André theorem, to animated algebras. The main inputs are the classical theorems, together with Bhatt and Scholze’s vanishing of the Frobenius on negative cohomology.