nostr:npub1xewavcy9m079c9hnvvjxqceljtau6c6d9rgn272cw5kdvejp8mysdjzmfc wasn’t it pretty much agreed that some of the theorems were not his but attributed to him? He just left a more recent record of them, like most classic scholars.