Connected Lie groupoids are internally connected and integral complete in synthetic differential geometry

From MaRDI portal
Publication:517698