Thread:JustDavis/@comment-36398828-20181020113209

Why did you fix my proof? 