Theorem Zsqrtd.im_smul

Modification history