ThmDex – An index of mathematical definitions, results, and conjectures.
Linearity of signed finite basic real column matrix expectation