Pessimism Meets Invariance: Provably Efficient Offline Mean-Field Multi-Agent RL Minshuo Chen 1 Yan Li1 Ethan Wang 1 Zhuoran Yang