Theorem Zsqrtd.re_intCast

Modification history