TY - RPRT TI - Easy Proof of Three Recursive $π$-Algorithms -- Einfacher Beweis dreier rekursiver $π$-Algorithmen AU - Lorenz Milla PY - 2025 UR - https://arxiv.org/abs/1907.04110 ID - 1907.04110 ER -