include "arithmetics/nat.ma".
include "ground_2/lib/star.ma".
(* ARITHMETICAL PROPERTIES **************************************************)
include "arithmetics/nat.ma".
include "ground_2/lib/star.ma".
(* ARITHMETICAL PROPERTIES **************************************************)