(* Author: Christian Sternagel <c.sternagel@gmail.com> Author: René Thiemann <rene.thiemann@uibk.ac.at> License: LGPL *) section ‹Auxiliary Results› subsection ‹Reflexive Transitive Closures of Orders› theory Transitive_Closure_More imports Main begin end