Formula:307

From MaRDI portal