Let (K,R) be a triangular Hopf algebra with the universal R-matrix R. Let H be a braided Hopf algebra associated with (K,R) and A a K-Poisson algebra. Assume that A is an H-comodule Poisson algebra. In this paper, we will firstly prove that for a K-Poisson (A,H)-Hopf module M, when H is quasi-commutative and M is an injective K-Poisson A-module, M is an injective K-Poisson (A,H)-Hopf module. Then we will give the fundamental theorem of K-Poisson (A,H)-Hopf modules.
Lu et al. (Fri,) studied this question.