Theorem Zsqrtd.re_smul

Modification history