Theorem Zsqrtd.smul_val

Modification history