(**************************************************************************)
include "ground_2/notation/functions/drop_1.ma".
(**************************************************************************)
include "ground_2/notation/functions/drop_1.ma".