Tevatron is the first accelerator to use an electron lens