Library Stdlib.NArith.Ngcd_def


From Stdlib Require Import BinPos BinNat.
#[local] Open Scope N_scope.

Obsolete file, see BinNat now, only compatibility notations remain here.