"Add" button when on master branch
Closed this issue · 0 comments
StevenClontz commented
Right now there is an Add button when viewing Related theorems on http://viewer.counterexamples.info/properties/P100052 in the master branch.
Closed this issue · 0 comments
Right now there is an Add button when viewing Related theorems on http://viewer.counterexamples.info/properties/P100052 in the master branch.