Describir: The Atiyah-Singer index theorem