(**************************************************************************)
include "ground_2/notation/relations/isidentity_1.ma".
(**************************************************************************)
include "ground_2/notation/relations/isidentity_1.ma".