Theorem Quaternion.re_natCast

Modification history