Theorem Zsqrtd.re_star

Modification history