6 ms·The proofs you produce are probably weaker than those the author wantsby kiriakasis 8y agoThe proofs you produce are probably weaker than those the author wants