Lipschitz quaternion order

GPTKB entity