Ignatov's theorem: an abbreviation of the proof of Engelen, Tommassen and Vervaat

From MaRDI portal