The proper-action characterization of algebraic quantum groups
Proper-action characterization. The following are equivalent:
MathDB