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