include "static_2/relocation/sex_sex.ma".
(* SYNTACTIC EQUIVALENCE FOR SELECTED LOCAL ENVIRONMENTS ********************)
(* Main properties **********************************************************)
include "static_2/relocation/sex_sex.ma".
(* SYNTACTIC EQUIVALENCE FOR SELECTED LOCAL ENVIRONMENTS ********************)
(* Main properties **********************************************************)