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]
The following quantum groups have (F)