Theorem Zsqrtd.zero_re

Modification history