Slides on Sturm’s strong law of large numbers for the geometric (Karcher) mean of positive operators

I presented these slides a few times, for instance at ILAS2019 and a conference at LSU honoring Jimmie D. Lawson’s 70th working anniversary there. They are available here: https://palfiamiklos.com/wp-content/uploads/2020/10/sturmsllnkarcher.pdf