Describir: Probability theory on vector spaces