Theorem Zsqrtd.norm_nonneg

Modification history