TY - RPRT TI - Finiteness of formal pushforwards AU - David Harbater AU - Julia Hartmann AU - Daniel Krashen PY - 2026 UR - https://arxiv.org/abs/2502.01504 ID - 2502.01504 ER -