catabase
| c | d | e | path |
|---|---|---|---|
| FinOrd | FinSet | Set | skeleton + full |
| Perm | FinSet | Set | core + full |
| Mat_k | FinVect_k | Vect_k | skeleton + full |
| Hilbâ‚€ | Hilb | Ban_k | core + full |
| c | d | e | path |
|---|---|---|---|
| FinOrd | FinSet | Set | skeleton + full |
| Perm | FinSet | Set | core + full |
| Mat_k | FinVect_k | Vect_k | skeleton + full |
| Hilbâ‚€ | Hilb | Ban_k | core + full |