Library Stdlib.NArith.Nsqrt_def


From Stdlib Require Import BinNat.

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