Open theoryshaw opened 1 year ago
Since the property Status, in various Pset_*Common psets, is so common and pervasive, it seems like it should either be put into a pset that's common to everything, or put at some higher level.
Status
related:
theoryshaw
commented
1 year ago
Since the property
Status, in various Pset_*Common psets, is so common and pervasive, it seems like it should either be put into a pset that's common to everything, or put at some higher level.