descriptive claim
The speaker's pull request was merged into Mathlib's main branch, adding a definition of the complex numbers to the library.
Unresolved speaker · Mathematics Just Changed Forever — Kevin Hartnett · 26 Oct 2026
In their words
The transcript segments this claim was taken from
“You know, this is a free open source maths library. So I made a pull request to this maths library, and then it got merged into the main branch. And suddenly we've got complex numbers, copyright twenty seventeen Kevin Buzzard.”33:35Report a misattribution
0.95how strongly it was put, not whether it is true
0.65importance to the conversation
0.97confidence the claim was read correctly