include "static_2/syntax/teqg.ma".
(* SYNTACTIC EQUIVALENCE ON TERMS *******************************************)
definition teq: relation term ≝
include "static_2/syntax/teqg.ma".
(* SYNTACTIC EQUIVALENCE ON TERMS *******************************************)
definition teq: relation term ≝