Formula:8016

From MaRDI portal