TY - RPRT TI - A satellite formula for real Seiberg-Witten Floer homotopy types AU - Jin Miyazawa AU - JungHwan Park AU - Masaki Taniguchi PY - 2025 UR - https://arxiv.org/abs/2504.03270 ID - 2504.03270 ER -