Theorem Zsqrtd.norm_neg

Modification history