Cocliques of Length 22 of the McLaughlin Graph II

摘要

This paper complements the previous one [4] perfectly, where we classified 4050 cocliques of length 22, of the McLaughlin graph, into 8 types. In this paper we prove that every coclique of length 22 is one of these 4050 cocliques.