Square extension of a groupoid.

From MaRDI portal
Publication:1771922