Formula:916

From MaRDI portal