Redlich-Peterson constant

From MaRDI portal