用户: Aripriner/Geometric Representation Theory/Geometric Satake Equivalence