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)
If has (F), then
Discrete quantum group has (F) if