Primes and perfect squares

Reference: Wikipedia

theorem infinite_prime_sq_add_one : {n : ℕ | Prime (n ^ 2 + 1)}.Infinite ↔ sorry

Are there infinitely many primes $p$ such that $p − 1$ is a perfect square? In other words: Are there infinitely many primes of the form $n^2 + 1$?