Size Ramsey Numbers

Merged Yannick Mogge requested to merge caa8626-dev-patch-88009 into dev

Merge request reports