Theorem Zsqrtd.sqLe_smul

Modification history