Where does this definition of trace of a compact operator come from?
This entry for trace of a compact operator is sourced from GetWord Corpus, one of the dictionaries and corpora merged into Lughet.
What is Lughet?
Lughet is a free trilingual dictionary covering nearly five million entries across Uyghur, Chinese, and English, drawn from more than ten source dictionaries and corpora.