Cryogenic Design of a Superconducting Solenoid for Muonium Hyperfine Structure Measurement | IEEE Journals & Magazine | IEEE Xplore