The possible lattices have been classified by Prasad and Yeung and the classification was completed by Cartwright and Steger who checked that they actually correspond to fake projective planes.
Возможные решётки классифицировали Прасад и Енг, а завершили классификацию Картрайт и Стигер, проверившие, что они действительно соответствуют ложным проективным плоскостям.