Diagram viewer
Opened this issue · 0 comments
StevenClontz commented
I'm giving a semi-plenary Zoom talk in May (postponed from last spring). To show off the pi-Base (and help illustrate my talk), I'd like to have a way to choose a set of properties and display either an implication diagram and/or an inclusion diagram, such as those shown in the early chapters of Counterexamples.