1.16#Ex8

From MaRDI portal
Formula:615