Theorem Associates.gcd_mk_mk

Modification history