Theorem Nat.xgcd_zero_left

Modification history