Formula:3809

From MaRDI portal