Theorem EuclideanDomain.xgcd_zero_left

Modification history