It's not a strict exclusive-or choice. Credit will accrue to both Freedman and the authors of this book, because both advanced the state of the subject. And e

It's not a strict exclusive-or choice. Credit will accrue to both Freedman and the authors of this book, because both advanced the state of the subject. And eventually perhaps further credit to someone who publishes a machine-verifiable proof, or finds a simpler way to understand the theorem.