219 Fedorov Groups

From ProofWiki
Jump to: navigation, search

Theorem

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


Proof


Sources