Theorem Zsqrtd.smul_re

Modification history