Pensieve header: Debugging the functoriality of tb in OneCo.

SetDirectory["C:\\drorbn\\AcademicPensieve\\2016-03"];
<< SnG.m

SetSigns[0]

tbtσ01[u_,v_] := tb[0][u,v] - (tb[1][u//tσ[{0,1},{1,0}], v//tσ[0,1]] // tσ[{1,0},{0,1}]);
tbtσ01@@{UU[a[f[(Subscript[b, 0])],1,1]],UU[a[1,0,3]]}

% // S