No.14306787 ViewReplyOriginalReport
Should I learn Lean?