Consistency of Menas's conjecture

From MaRDI portal