Design and magnetic measurements of the Fermilab Main Injector Lambertson | IEEE Conference Publication | IEEE Xplore