The ``closed subgroup theorem for localic herds and pregroupoids

From MaRDI portal
Publication:807737