Theorem Zsqrtd.abs_norm

Modification history