Conway's icosian calculus

GPTKB entity