令H是拟Hopf代数，A是H-模代数，F∈H()H是规范变换.本文在拟Hopf意义下证明了A＃H≌AF-1＃HF，(HF)F-1=H，A＃H-模范畴与AF-1＃HF-模范畴的同......