Theorem Zsqrtd.star_mk

Modification history