catabase
subcategory | supercategory | kind |
---|---|---|
FinVect_k | Mat_k | equivalence |
Mat_k | FinVect_k | equivalence |
PDiff | PL | equivalence |
PL | PDiff | equivalence |
Pfn | Set* | equivalence |
Set* | Pfn | equivalence |
SoberTop | SpLoc | equivalence |
SpLoc | SoberTop | equivalence |