Commit 40474920 authored by Ralf Jung's avatar Ralf Jung

docs: banach: make f^k part of the theorem, nut just a remark; extend ref to america-rutten

parent 8a2a27eb
Pipeline #5821 passed with stages
in 11 minutes and 55 seconds