Closed StevenClontz closed 4 years ago
Right now there is an Add button when viewing Related theorems on http://viewer.counterexamples.info/properties/P100052 in the master branch.
Right now there is an Add button when viewing Related theorems on http://viewer.counterexamples.info/properties/P100052 in the master branch.