Beam diagnostics for Tevatron Electron Lens | IEEE Conference Publication | IEEE Xplore