arXiv2401.00392MaRDI QIDQ6515646
Vigleik Angeltveit
This page was built for publication: R(3,10) <= 41