Design and Performance of Focusing Lenses for Installation Into Superconducting Cryomodules of a Proton Linac | IEEE Journals & Magazine | IEEE Xplore