Theorem Zsqrtd.im_sqrtd

Modification history