Formula:9735

From MaRDI portal