Formula:413

From MaRDI portal