Theorem Quaternion.re_zero

Modification history