Theorem Zsqrtd.re_sqrtd

Modification history