Semidirect products of internal groupoids

From MaRDI portal
Publication:964546