Theorem Quaternion.nat_cast_im

Modification history