Theorem Nat.xgcd_aux_P

Modification history