219 Fedorov Groups

From ProofWiki
Jump to navigation Jump to search

Theorem

There are $219$ Fedorov groups, if chiral copies are considered the same.


Proof



Sources