Theorem Zsqrtd.re_zero

Modification history