On a conjecture of Alvis.

From MaRDI portal
Publication:2581391