Copying theorems (Q1224420)

From MaRDI portal