(**************************************************************************)
include "ground/notation/functions/element_e_0.ma".
(**************************************************************************)
include "ground/notation/functions/element_e_0.ma".