Theorem Zsqrtd.gcd_pos_iff

Modification history