Formula:8405

From MaRDI portal