[[!redirects Differential geometry]] [[!redirects differential geometry]] [[!redirects Differential geometry in HoTT]] < [[nlab:differential geometry]] category: redirected to nlab