Sources:
https://www.bbc.com/sport/athletics/articles/c5y2nl2d0l7o
https://thewest.com.au/sport/athletics/ingebrigtsen-sets-two-indoor-world-records-in-one-run-c-17717022
https://www.japantimes.co.jp/sports/2025/02/14/more-sports/ingebrigtsen-indoor-mile-world-record/