Describir: General relativity for mathematicians