Separating kernel of cylindrical measure

From MaRDI portal