Cosemisimple

Let V be a braided vector space of diagonal type with a principal realization in the category of Yetter-Drinfeld modules of a cosemisimple Hopf algebra H and such that the Nichols algebra #92;mathfrak#123;B#125;(V) is finitely presented.