No reason to bring in Pistol Pete into the conversation. Just my two cents.
It sounds like people are comparing apples and oranges here.
Does she have the all-time college scoring records for either men or women , or is he just Setting a record for women?
I’ve heard in baseball that the all-time record for home runs is over 800 home runs set by a player in Japan.
Is it significant that someone in Japanese baseball has hit more home runs than anyone ever has in Major League Baseball?