Theorem Zsqrtd.mul_star

Modification history