Right, but someone else did ("colleagues.")
No, they searched for it. There's a lot of math literature out there, not even an expert is going to know all of it.
alt Hacker News
No, they searched for it. There's a lot of math literature out there, not even an expert is going to know all of it.