No.13852172 ViewReplyOriginalReport
>no I do not accept your proof as valid till it has been implemented in a proof assistant