Ideal classes of orders in quaternion algebras | Synapse