cograph tizanidine transpositionally otimesQundR sigmaQunde ACA0 Yiqi diffeomorphism torsors enharmonically diquark birationally Daffadar opQund1 RQplusM isomorphic ilman frac34 Pastonian kro Nishiazai Neit Tpr bimodules logQund2 synthon conformally lambdaQundn submanifolds AQund0 axiomatizations