This is surely impossible in the general case, but we should be able to at least model א_n and ב_n.
Once this is done, we can restore the cardinality theorems and traits and allow for searching by cardinality in a much more natural way. C.f. https://github.com/pi-base/server/issues/19
jamesdabbs
commented
1 year ago
This is surely impossible in the general case, but we should be able to at least model
א_nandב_n.Once this is done, we can restore the cardinality theorems and traits and allow for searching by cardinality in a much more natural way. C.f. https://github.com/pi-base/server/issues/19