Open jeffgerickson opened 5 years ago
See https://www.reddit.com/r/UIUC/comments/ccjs0v/some_confusion_about_this_prove/
See https://www.reddit.com/r/UIUC/comments/ccjs0v/some_confusion_about_this_prove/