groupoids (view)
4 rows sorted by name
This data as json, CSV (advanced)
name ▼ |
---|
Bij |
Hilb₀ |
Perm |
SymmRel |
Advanced export
JSON shape: default, array, newline-delimited
CREATE VIEW "groupoids" AS select groupoid as name from cores;
This data as json, CSV (advanced)
name ▼ |
---|
Bij |
Hilb₀ |
Perm |
SymmRel |
JSON shape: default, array, newline-delimited
CREATE VIEW "groupoids" AS select groupoid as name from cores;