Universal_representation_(C*-algebra) loading ...