Theorem Zsqrtd.natCast_re

Modification history