GDL condensed mathematics