END USER LICENCE AGREEMENTEnd User License Agreement • October 30th, 2018
Contract Type 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.