Theorem Quaternion.one_imJ

Modification history