inline procedural "cic:/Coq/Relations/Relation_Operators/Lexicographic_Exponentiation/List.con" "Lexicographic_Exponentiation__" as definition.
inline procedural "cic:/Coq/Relations/Relation_Operators/Ltl.ind".
inline procedural "cic:/Coq/Relations/Relation_Operators/Lexicographic_Exponentiation/List.con" "Lexicographic_Exponentiation__" as definition.
inline procedural "cic:/Coq/Relations/Relation_Operators/Ltl.ind".