Anders Erik Vilhelm Lundstedt

Old material: Necessarily non-analytic induction proofs