Formula:7222

From MaRDI portal