General code shortening construction

From MaRDI portal
Publication:1097865