Ultrathin double-focusing topological insulator lens | IEEE Conference Publication | IEEE Xplore