Theorem Quaternion.rat_cast_re

Modification history