TY - RPRT TI - Positive Energy Theorems for Spin Initial Data with Charge AU - Simon Raulot PY - 2025 UR - https://arxiv.org/abs/2509.05244 ID - 2509.05244 ER -