Norm 2.03

From MaRDI portal