(* -------------------------------------------------------------------- *)
open EcCoreGoal.FApi
(* -------------------------------------------------------------------- *)
val t_equiv_sym : backward
(* -------------------------------------------------------------------- *)
open EcCoreGoal.FApi
(* -------------------------------------------------------------------- *)
val t_equiv_sym : backward