Def EuclideanDomain.gcdA

Modification history