Design and Performance Estimation of a 20 T 46 mm No-Insulation All-REBCO User Magnet | IEEE Journals & Magazine | IEEE Xplore