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 |