TY - RPRT TI - The Derivative of a Constructible Function is Constructible AU - Tobias Kaiser PY - 2026 UR - https://arxiv.org/abs/2508.02517 ID - 2508.02517 ER -