END USER LICENCE AGREEMENTOctober 30th, 2018
FiledOctober 30th, 2018Sketch of proof. The functor T M (T ) was constructed in [20]. Since this formulation is a slight variant of what appears in [20] we sketch how the results of loc. cit. allow us to deduce the above.