the book is finally out: springer:book/9783030047375
The proof of the fundamental theorem 3.9.4 of renormalization via addition of counterterms is in “essential parts” (footnote 118) taken from the Lab page geometry of physics – perturbative quantum field theory
]]>