Theorem Zsqrtd.re_natCast

Modification history