A regularity condition under which integral operators with operator-valued kernels are trace class | Synapse