Yes, they both broke Vicki Hubers indoor mile college record (CR) of 4:28.51 set in 1988. The outdoor mile CR is 4:29.04. FYI, the outdoor 1500m CR is 4:06.19 set by Hannah England last year -- this converts to a 4:25.89 mile (using widely accepted 1.08 conversion factor).
So Barringer has the indoor mile and 5K (15:01.70) CRs and Kipyego has the indoor 3K (8:48.77) CR. What events do you think they will race at indoor Nats?
I suspect Barringer will race only the 3K -- trying to get the indoor 3K record to add to the other two indoor CRs she already has. Kipyego may race the 3K and try to defend her 3K CR, or race the mile and hope she can run 1.3 seconds faster than today and get the mile CR back from Barringer, or she can go for another NCAA championship in the 5K.
After today's mile race, I'd consider Barringer a faster college distance runner than Kipyego. It will be interesting if Barringer attempts to break Kipyego's 10K CR this spring. It's possible that three months from now Kipyego will have lost all her CRs to Barringer.