Projective limit of Haar measures on O(n) (Q2553708)

From MaRDI portal