Theorem Quaternion.zero_imJ

Modification history