PessimismMeets Invariance: ProvablyEfficient OfflineMean-FieldMulti-AgentRL