Classification of Convex Polyhedra whose Faces are Regular Polygons/Historical Note

Historical Note on Classification of Convex Polyhedra whose Faces are Regular Polygons
The final step of this result was demonstrated by, who first enumerated what are now known as the Johnson polyhedra in $1966$.

He conjectured, but did not prove, that there were no more than $92$ of them.

In $1969$ proved that 's list was complete.