This is an old revision of the document!
Let be a compact quantum group. The discrete dual
is said to have the Kirchberg factorization property or property (F) if the Haar state
on
is amenable. [BW16]
If has (F), then
Discrete quantum group has (F) if