Theorem Nat.xgcdAux_zero

Modification history